Mostafa Mirabi

works on

block-content canonization 1 finite fields 1 gallai-witt theorem 1 hales-jewett theorem 1 ramsey theory 1

From the 1 of 4 linked papers with an AI index.

collaborators

Showing math.LOShow all

4 papers · 1 filter

math.LO2026

Asymptotic classes via definable quotients

Mostafa Mirabi

We study when finite-dimensional asymptoticity transfers through uniform interpretations and definable quotients. Ambient counting yields finitely many asymptotic alternatives, but…

math.LO2026

Relative stability, relative categoricity and internal covers

Mostafa Mirabi, Anand Pillay

Let $T$ be a countable complete theory with a distinguished unary predicate $P$ , and let $T^{P}$ be the theory of the $P$ -parts of models of $T$ with the induced structure. $T$ is…

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 $m \geq 1$ , a computable tree $\A_{m+1}$ of rank $m + 1$ whose strong degree of categoricity is $\mathbf{0}…

math.LO2024

Cohen Generic Structures with Functions

Nathanael Ackerman, Mohammad Golshani, Mostafa Mirabi

Suppose $L^{-} \subseteq L$ are languages where $L ∖ L^{-}$ is relational. Additionally, let $K$ be a strong $Fra A ˜ ¯ ss A ˜ c ◯$ …