M. Mahmoud

collaborators

2 papers

math.LO2026

$ω_{1}$ -anchored labels in minimal counterexamples to Vaught's conjecture: a per-witness trichotomy and an unconditional stationary dichotomy

Mohammad Assem Mahmoud

Let $φ$ be a minimal counterexample to Vaught's conjecture in the sense of Montalban; such a $φ$ exists if Vaught's conjecture fails, by Steel and Harnik-Makkai. We bring into cont…

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}…

ω1​-anchored labels in minimal counterexamples to Vaught's conjecture: a per-witness trichotomy and an unconditional stationary dichotomy

Scott complexity of trees of finite rank via degrees of categoricity

$ω_{1}$ -anchored labels in minimal counterexamples to Vaught's conjecture: a per-witness trichotomy and an unconditional stationary dichotomy