Linear ROD subsets of Borel partial orders are countably cofinal in the Solovay model
Abstract
The following is true in the Solovay model. 1. If $\le$ is a Borel partial order on a set $D$ of the reals, and $X$ is a ROD subset of $D$ linearly ordered by $\le$, then the restriction of $\le$ onto $X$ is countably cofinal. 2. If in addition every countable set $Y$ of $D$ has a strict upper bound in the sense of $\le$ then the ordering $< D ; \le >$ has no maximal chains that are ROD sets.
- Publication:
-
arXiv e-prints
- Pub Date:
- April 2010
- DOI:
- 10.48550/arXiv.1004.5542
- arXiv:
- arXiv:1004.5542
- Bibcode:
- 2010arXiv1004.5542K
- Keywords:
-
- Mathematics - Logic;
- 03E15
- E-Print:
- 5 pages