English

On countable cofinality of definable chains in Borel partial orders

Logic 2018-08-16 v1

Abstract

We prove that in some cases definable chains of Borel partial orderings are necessarily countably cofinal. This includes the following cases: analytic chains, ROD chains in the Solovay model, and Σ21\Sigma^1_2 chains in the assumption that ω1L[x]<ω1\omega_1^{L[x]}<\omega_1 for all reals xx.

Keywords

Cite

@article{arxiv.1312.2064,
  title  = {On countable cofinality of definable chains in Borel partial orders},
  author = {Vladimir Kanovei},
  journal= {arXiv preprint arXiv:1312.2064},
  year   = {2018}
}

Comments

6 pages

R2 v1 2026-06-22T02:22:50.039Z