Linear ROD subsets of Borel partial orders are countably cofinal in Solovay's model
classification
🧮 math.LO
keywords
borelcofinalcountablylinearmodelpartialsensesolovay
read the original abstract
The following is true in the Solovay model. 1. If $\leq$ is a Borel partial quasi-order on a Borel set $D$ of the reals, $X$ is a ROD subset of $D$, and $\leq$ restricted to $X$ is linear, then $X$ is countably cofinal in the sense of $\leq$. 2. If in addition every countable set $Y$ of $D$ has a strict upper bound in the sense of $\leq$, then the ordering $< D ; \leq >$ has no maximal chains that are ROD sets.
This paper has not been read by Pith yet.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.