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)
Cohen generic structures with functions, with N. Ackerman and M. Golshani (submitted)
Definable tree property for uncountable regular cardinals, with M. Golshani (submitted )
Shelah's partition functions and the Hales-Jewett numbers, with M. Golshani (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)
Level totients for integer mosaics, with T. Dao and T. Kasian (submitted)
The failure of stable composition for equivalence relations in simple theories, (submitted)
In preparation
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
