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 (accepted to CSL 2025)
Asymptotic classes of trees and $\aleph_0$-categoricity. (accepted to Notre Dame J. of Formal Logic).
Algebraic sunflowers, with N. Ackerman (accepted to Bulletin of the ICA)
Computability of countable sunflowers, with N. Ackerman and L. Karker (submitted)
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).
Structured Sunflowers, with N. Ackerman and L. Karker (submitted)
Computable Cofinal Fraisse Limits, with N. Ackerman and C. Freer
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
