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 thin sets in the assumption that for all reals . 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