L(mathbb{R}) with Determinacy Satisfies the Suslin Hypothesis
classification
🧮 math.LO
keywords
hypothesismathbbsuslinmathsfsatisfiesanswerschaincomplete
pith:JHPEH5FP Add to your LaTeX paper
What is a Pith Number?\usepackage{pith}
\pithnumber{JHPEH5FP}
Prints a linked pith:JHPEH5FP badge after your title and writes the identifier into PDF metadata. Compiles on arXiv with no extra files. Learn more
read the original abstract
The Suslin hypothesis states that there are no nonseparable complete dense linear orderings without endpoints which have the countable chain condition. $\mathsf{ZF + AD^+ + V = L(\mathscr{P}(\mathbb{R}))}$ proves the Suslin hypothesis. In particular, if $L(\mathbb{R}) \models \mathsf{AD}$, then $L(\mathbb{R})$ satisfies the Suslin hypothesis, which answers a question of Foreman.
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.