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 is a Borel partial order on a set D of the reals, and X is a ROD subset of D linearly ordered by , then the restriction of onto X is countably cofinal. 2. If in addition every countable set Y of D has a strict upper bound in the sense of then the ordering < D ; > has no maximal chains that are ROD sets.
0
Turn this paper into a lesson
ArcXiv compiles a structured reading guide from this paper's metadata: plain-English importance, contributions, prerequisite concepts, which sections to read first, flashcards, and a quiz. Grounded in the abstract, never invented.