Linear ROD subsets of Borel partial orders are countably cofinal in the Solovay model
Logic
2018-08-16 v2
Abstract
The following is true in the Solovay model. 1. If is a Borel partial order on a set of the reals, and is a ROD subset of linearly ordered by , then the restriction of onto is countably cofinal. 2. If in addition every countable set of has a strict upper bound in the sense of then the ordering has no maximal chains that are ROD sets.
Cite
@article{arxiv.1004.5542,
title = {Linear ROD subsets of Borel partial orders are countably cofinal in the Solovay model},
author = {Vladimir Kanovei},
journal= {arXiv preprint arXiv:1004.5542},
year = {2018}
}
Comments
5 pages