Souldatos Ioannis

Assistant Professor

Office: Main Building of Faculty of Sciences, 3rd Floor, Room 6

Office Hours: @-schedule

Phone Number: +302310997914

Email: souldatos@math.auth.gr Website: Personal Website

Ph.D. in Mathematics, UCLA, 2008
- Doctoral thesis subject: Mathematical logic
- Doctoral thesis title: Infinitary Logic, Characterizable Cardinals and Independent Sets of Sentences
- Supervisor: Prof. Greg Hjorth
M.Sc. in Mathematics, UCLA, 2004
M.Sc. in Mathematical Logic, Algorithms and Theory of Computation, Interdepartmental and Interuniversity academic program, Athens 2002
M.Sc. in Mathematics, Ethnikon & Kapodistriakon Panepistimion Athinon, Athens 2000

Assistant Professor, Aristotle University of Thessaloniki, 2020 – Today
University of Detroit Mercy, Department of Mathematics, Detroit, MI USA, Associate Professor (tenured), 2016 – 2020
University of Detroit Mercy, Department of Mathematics, Detroit, MI USA, Assistant Professor (tenure-track), 2011 – 2016
Minnesota State University, Department of Mathematics and Statistics, Mankato, MN USA, Instructor, 2008 – 2011
UCLA, Department of Mathematics, Los Angeles, CA USA, Instructor, Calculus for Life Science students, spring semester 2006
UCLA, Department of Mathematics, Los Angeles, CA USA, Instructor, Calculus for Life Science students, Teaching Assistant/Associate/Fellow, 2003 – 2007

S.S. Goncharov, J.F. Knight and I. Souldatos, Hanf number for Scott sentences of computable structures, Archive for Mathematical Logic, 2018. doi10.1007/s00153-018-0615-6
J. Baldwin and I. Souldatos, A Complete $mathcal{L}_{omega_1,omega}$-Sentence with Maximal Models in Multiple Cardinalities, Mathematical Logic Quarterly, Volume 65, Issue 4, December 2019, pg. 444–452. doi10.1002/malq.201800010
David Milovich and Ioannis Souldatos. Non-absoluteness of model existence at $leph_omega $. Fundam. Math., 243(2):179–193, 2018.
D. Sinapova and I. Souldatos, Kurepa trees and spectra of $mathcal{L}_{omega_1,omega}$-sentences, Arch. Math. Logic 59, 939–956 (2020). doi10.1007/s00153-020-00729-4
G. Hjorth and I. Souldatos, Independently axiomatizable $L_{omega_1,omega}$ theories, Symbolic Logic 74 (2009), no. 4, pg. 1273–1286. doi10.2178/jsl/1254748691