pith. sign in

arxiv: 1005.5534 · v2 · pith:I4HVCRMCnew · submitted 2010-05-30 · 🧮 math.LO

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

classification 🧮 math.LO
keywords borelcofinalcountablylinearmodelpartialsensesolovay
0
0 comments X
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.