Contact Information
My name is Mostafa Mirabi (in Persian: مصطفی میرابی). I am currently an instructor at The Taft School and a visiting scholar at Wesleyan University. I earned my Ph.D. in Mathematics from Wesleyan University, where I worked under the supervision of Cameron Hill. Prior to Wesleyan, I was a research assistant at the School of Mathematics at the Institute for Research in Fundamental Sciences (IPM). I completed both my B.Sc. and M.Sc. degrees in Mathematics at Tehran Polytechnic (Amirkabir University of Technology).
I am interested in mathematical logic especially model theory and its application.
Check out a map of the model theory universe.
Papers
First-Order logic with equicardinality in random graphs, with S. Haber, T. Hershko and S. Shelah (CSL 2025)
Asymptotic classes of trees and $\aleph_0$-categoricity. (Notre Dame J. of Formal Logic)
Algebraic sunflowers, with N. Ackerman (Bulletin of the ICA)
Sunflowerable structures, with N. Ackerman and L. Karker (ZML)
Forcing with invariant measures, with N. Ackerman, C. Freer, M. Golshani and R. Patel (Logica Universalis)
Resilient forest universality in percolated dense graphs (J. Combin. Math. Comb. Comput. (JCMCC) 131, 565-576)
Level totients for integer mosaics, with T. Dao and T. Kasian (to appear in Integers)
Cohen generic structures with functions, with N. Ackerman and M. Golshani (to appear in APAL)
Definable tree property for uncountable regular cardinals, with M. Golshani (submitted )
From Shelah's block-content to Hales-Jewett, with M. Golshani and S. Shelah (submitted)
MS-measurability via coordinatization, (submitted)
Absoluteness of fixed points, with N. Ackerman (submitted)
Rainbow threshold graphs, with N. Ackerman (submitted)
On the computability of cofinal Fraisse limits, with N. Ackerman and C. Freer (submitted)
Computability of countable sunflowers, with N. Ackerman and L. Karker (submitted)
The failure of stable composition for equivalence relations in simple theories, (submitted)
Scott complexity of trees of finite rank via degrees of categoricity, with M. Mahmoud (submitted)
Limit laws for component-pruned sparse random graphs and percolated tori, with S. Shelah (submitted)
Relative $\omega$-stability, relative categoricity and internal covers, with A. Pillay (submitted)
Asymptotic classes via definable quotients (submitted)
Almost-linear Zarankiewicz bounds in 1-semi-equational theories, with H. Gou, M. Mittal, Ch. Tran and Z. Yang (submitted)
Research Notes
Simplicity, higher amalgamation properties, and free-amalgamation relations, with S. Anscombe and C. Hill--(In preparation, last update: June 9, 2020).
Theses
Ph. D. Thesis: Asymptotic Classes of Trees and MS-measurability via Coordinatization.
Master Thesis: Model Theory of Analytic Zariski Structures and Zilber's Conjecture.
Bachelor Thesis: Morley's Categoricity Theorem.
Notes
