Mostafa Mirabi

activity

20162026

most citedForcing with Invariant Measures

1 citations · 1 across the 17 of their papers we have counts for

collaborators

Showing math.LOShow all

10 papers · 1 filter

math.LO2026

Almost-linear Zarankiewicz bounds in $1$ -semi-equational theories

Hongyi Gou, Mostafa Mirabi, Mihir Mittal +2

We study multipartite hypergraphs definable in $1$ -semi-equational theories and prove almost-linear Zarankiewicz bounds in every fixed arity $r \geq 2$ . If $T$ is a $1$ -semi-equation…

math.LO2026

Canonical expansions of $R_{Q}$ -germs

Mostafa Mirabi

Let $H_{Q}$ be the field of unary germs at $0^{+}$ definable in the quasianalytic o-minimal structure $R_{Q}$ of Kaiser-Rolin-Speissegger. We c…

math.LO2026

Limit laws for component-pruned sparse random graphs and percolated tori

Mostafa Mirabi, Saharon Shelah

We prove an $MSO_{2}$ zero-one law for a very sparse Erdős-Rényi graph after pruning by component order. Let $p_{n} = c_{n} / n$ , where $c_{n} \to 0$ , and delete every component of orde…

math.LO2026

The failure of stable composition for equivalence relations in simple theories

Mostafa Mirabi

Casanovas and Potier proved that algebraic quantification preserves stability of formulas. They also gave a nonsimple example, answering a question of Laskowski, showing that the a…

math.LO2026★ 1 cited

Forcing with Invariant Measures

Nathanael Ackerman, Cameron Freer, Mohammad Golshani +2

This paper introduces a model-theoretic generalization of the notion of forcing with random reals, in which forcing gives rise to random generic structures. Specifically, we consid…

math.LO2026

On the computability of cofinal Fraïssé limits

Nathanael Ackerman, Cameron Freer, Mostafa Mirabi

For any collection of finite structures closed under isomorphism (i.e., an age) which has the Hereditary Property (HP), the Joint Embedding Property (JEP), and the Cofinal Amalgama…

math.LO2023

Computability of Countable Sunflowers

Nathanael Ackerman, Leah Karker, Mostafa Mirabi

We provide a characterization of when a countably infinite set of finite sets contains an infinite sunflower. We also show that the collection of such sets is Turing equivalent to…

math.LO2023

Asymptotic Classes of Trees and $ℵ_{0}$ -categoricity

Mostafa Mirabi

This paper focuses on the characterization of $ℵ_{0}$ -categorical theories of trees in the following sense: for any $ℵ_{0}$ -cateorical theory $T$ of trees there is a tree pla…

math.LO2021

MS-measurability via coordinatization

Mostafa Mirabi

We study $M S$ -measurability of structures obtained as expansions of finite-height trees. We show that an admissible nil-interaction coordinatized structure is $M S$ -measurable whene…

math.LO2016

Definable tree property for uncountable regular cardinals

Mohammad Golshani, Mostafa Mirabi

The primary goal of this paper is to establish a model of $Z F C$ wherein the definable tree property is affirmed for all uncountable regular cardinals. This endeavor commences with…

Almost-linear Zarankiewicz bounds in 1-semi-equational theories

Canonical expansions of RQ​-germs

Limit laws for component-pruned sparse random graphs and percolated tori

The failure of stable composition for equivalence relations in simple theories

Forcing with Invariant Measures

On the computability of cofinal Fraïssé limits

Computability of Countable Sunflowers

Asymptotic Classes of Trees and ℵ0​-categoricity

MS-measurability via coordinatization

Definable tree property for uncountable regular cardinals

Almost-linear Zarankiewicz bounds in $1$ -semi-equational theories

Canonical expansions of $R_{Q}$ -germs

Asymptotic Classes of Trees and $ℵ_{0}$ -categoricity