4 papers
math.LO2026
Relative stability, relative categoricity and internal covers
Mostafa Mirabi, Anand Pillay
Let be a countable complete theory with a distinguished unary predicate , and let be the theory of the -parts of models of with the induced structure. is…
math.LO2026
Asymptotic classes via definable quotients
Mostafa Mirabi
In this paper, we study when uniform interpretations and definable quotients preserve finite-dimensional asymptotic classes. Counting in the ambient structures gives finitely many…
math.LO2026
Scott complexity of trees of finite rank via degrees of categoricity
Mohammad Mahmoud, Mostafa Mirabi
In earlier work \cite{Mah19}, the first author constructed, for each finite , a computable tree $\A_{m+1}$ of rank whose strong degree of categoricity is $\mathbf{0}…
math.LO2023
Cohen Generic Structures with Functions
Nathanael Ackerman, Mohammad Golshani, Mostafa Mirabi
Suppose are languages where is relational. Additionally, let be a strong c…