English

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 \le is a Borel partial order on a set DD of the reals, and XX is a ROD subset of DD linearly ordered by \le, then the restriction of \le onto XX is countably cofinal. 2. If in addition every countable set YY of DD has a strict upper bound in the sense of \le then the ordering <D;>< D ; \le > has no maximal chains that are ROD sets.

Keywords

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