English

On countable cofinality and decomposition of definable thin orderings

Logic 2018-08-16 v1

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 Σ21\Sigma^1_2 thin sets in the assumption that ω1L[x]<ω1\omega_1^{L[x]}<\omega_1 for all reals xx. We also prove that definable thin wellorderings admit partitions into definable chains in the Solovay model.

Keywords

Cite

@article{arxiv.1412.0195,
  title  = {On countable cofinality and decomposition of definable thin orderings},
  author = {Vladimir Kanovei and Vassily Lyubetsky},
  journal= {arXiv preprint arXiv:1412.0195},
  year   = {2018}
}

Comments

arXiv admin note: substantial text overlap with arXiv:1408.1202

R2 v1 2026-06-22T07:16:00.216Z