Homepage of M. Malliaris
Assistant Professor
Department of Mathematics
University of Chicago
Research:
My research interests are in model theory, in particular classification of unstable theories.
Teaching: most recently, Math 277 and Math 309
Available papers: Abstracts and more information
"Realization of \phitypes and Keisler's order,"
Ann. Pure Appl. Logic 157 (2009) 220224.
link
''The characteristic sequence of a firstorder formula,'' J Symb Logic 75, 4 (2010) 14151440.
PDF,
link.
"Edge distribution and density in the characteristic sequence,"
Ann Pure Appl Logic 162, 1 (2010) 119.
PDF,
link
"Hypergraph sequences as a tool for saturation of ultrapowers,'' J Symb Logic 77, 1 (2012) 195223.
PDF,
link
"Independence, order, and the interaction of ultrafilters and theories," Ann Pure Appl Logic,
163, 11 (2012) 15801595. PDF,
link
(with S. Shelah) "Regularity lemmas for stable graphs.'' Trans. Amer. Math Soc,
366 (2014), 15511585.
link, PDF
(with S. Shelah) "Constructing regular ultrafilters from a
modeltheoretic point of view." accepted, Trans. Amer. Math. Soc.
link, arxiv
(with S. Shelah) "Modeltheoretic properties of ultrafilters built by independent families of functions." JSL 79, 1 (2014) 103134. PDF,
arxiv
(with S. Shelah) "A dividing line within simple unstable theories." Advances in Math
249 (2013) 250288.
PDF, link
(with S. Shelah) "Saturating the random graph with an independent
family of small range." Logic Without Borders.
arxiv,
link
(with S. Shelah)
"Cofinality spectrum theorems in model theory, set theory, and general
topology." 60 pages. accepted, J. Amer. Math. Soc. PDF,
arxiv,
journal
(with S. Shelah)
"General topology meets model theory, on p and t."
This announces the results of the paper above.
Proc Natl Acad Sci USA 110, 33 (2013) 1330013305.
PDF,
link
(with S. Shelah)
"Existence of optimal ultrafilters and the fundamental complexity of simple theories." arxiv
(with S. Shelah)
"Keisler's order has infinitely many classes." arxiv
(with A. Pillay)
"The stable regularity lemma revisited." arxiv
Thesis: Persistence and Regularity in Unstable Model Theory.
PDF; here is a brief overview
Contact information:
Department of Mathematics
University of Chicago
5734 S. University Avenue
Chicago, IL 60637
Email: (my three initials) at math; see URL.
Office: E 318
Open problems in model theory
Logic Day, April 24, 2013
Other links
Research partially supported by:
NSF grants DMS1300634 and DMS1001666,
a Gödel research prize fellowship (2011), and
a Sloan research fellowship (2014).
visits since April 2012
(courtesy of digits.net)
 space 
