pith. the verified trust layer for science. sign in

arxiv: 1903.07005 · v1 · pith:SZGIG6LHnew · submitted 2019-03-16 · 🧮 math.LO

The Destruction of the Axiom of Determinacy by Forcings on mathbb{R} when Theta is Regular

classification 🧮 math.LO
keywords mathbbmathsfthetanontrivialprovesvdashforcingforcings
0
0 comments X p. Extension
Add this Pith Number to your LaTeX paper What is a Pith Number?
\usepackage{pith}
\pithnumber{SZGIG6LH}

Prints a linked pith:SZGIG6LH badge after your title and writes the identifier into PDF metadata. Compiles on arXiv with no extra files. Learn more

read the original abstract

$\mathsf{ZF + AD}$ proves that for all nontrivial forcings $\mathbb{P}$ on a wellorderable set of cardinality less than $\Theta$, $1_{\mathbb{P}} \Vdash_{\mathbb{P}} \neg\mathsf{AD}$. $\mathsf{ZF + AD} + \Theta$ is regular proves that for all nontrivial forcing $\mathbb{P}$ which is a surjective image of $\mathbb{R}$, $1_{\mathbb{P}} \Vdash_{\mathbb{P}} \neg\mathsf{AD}$. In particular, $\mathsf{ZF + AD + V = L(\mathbb{R})}$ proves that for every nontrivial forcing $\mathbb{P} \in L_\Theta(\mathbb{R})$, $1_{\mathbb{P}} \Vdash_{\mathbb{P}} \neg\mathsf{AD}$.

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.