Linear ROD subsets of Borel partial orders are countably cofinal in Solovay's model

Abstract

The following is true in the Solovay model. 1. If ≤ is a Borel partial quasi-order on a Borel set D of the reals, X is a ROD subset of D, and ≤ restricted to X is linear, then X is countably cofinal in the sense of ≤. 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.

Discussion (0)

Sign in to join the discussion.

Loading comments…