On countable cofinality and decomposition of definable thin orderings
classification
🧮 math.LO
keywords
thindefinablesetscaseschainsmodelomegaorderings
pith:I7IIUCSU Add to your LaTeX paper
What is a Pith Number?\usepackage{pith}
\pithnumber{I7IIUCSU}
Prints a linked pith:I7IIUCSU badge after your title and writes the identifier into PDF metadata. Compiles on arXiv with no extra files. Learn more
read the original abstract
We prove that in some cases definable thin sets (including chains) of Borel partial orderings are necessarily countably cofinal. This includes the following cases: analytic thin sets, ROD thin sets in the Solovay model, and $\Sigma^1_2$ thin sets in the assumption that $\omega_1^{L[x]}<\omega_1$ for all reals $x$. We also prove that definable thin wellorderings admit partitions into definable chains in the Solovay model.
This paper has not been read by Pith yet.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.