1 citations · 1 across the 17 of their papers we have counts for
6 papers · 2 filters
Almost-linear Zarankiewicz bounds in -semi-equational theories
Hongyi Gou, Mostafa Mirabi, Mihir Mittal +2
We study multipartite hypergraphs definable in -semi-equational theories and prove almost-linear Zarankiewicz bounds in every fixed arity . If is a -semi-equation…
Canonical expansions of -germs
Mostafa Mirabi
Let be the field of unary germs at definable in the quasianalytic o-minimal structure of Kaiser-Rolin-Speissegger. We c…
Limit laws for component-pruned sparse random graphs and percolated tori
Mostafa Mirabi, Saharon Shelah
We prove an zero-one law for a very sparse Erdős-Rényi graph after pruning by component order. Let , where , and delete every component of orde…
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…
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…
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…