$ω_1$-anchored labels in minimal counterexamples to Vaught's conjecture: a per-witness trichotomy and an unconditional stationary dichotomy
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…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2608.15044
curl -X POST /api/v1/records/arxiv/2608.15044/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2608.15044/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'