{"id":"arxiv/2608.15044","url":"https://arxiv.org/abs/2608.15044","tags":["math.LO"],"score":0,"title":"$ω_1$-anchored labels in minimal counterexamples to Vaught's conjecture: a per-witness trichotomy and an unconditional stationary dichotomy","domain":"math.LO","source":"arxiv","authors":["Mohammad Assem Mahmoud"],"reviews":0,"subject":"math.LO","summary":"Let $\\varphi$ be a minimal counterexample to Vaught's conjecture in the sense of Montalban; such a $\\varphi$ exists if Vaught's conjecture fails, by Steel and Harnik-Makkai. We bring into contact, at the level of statements, two bodies of work on the models of such a $\\varphi$: the analysis of Gonzalez-Rossegger-Turetsky, in which at every countable level $β$ exactly one back-and-forth class $C_β$ is uncountable and, at fixed points of an associated function, has a distinguished member of least Scott rank (its label); and the supply of models with prescribed $ω_1^A$ from higher recursion…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-08-15","reactions":{}}