Models of set theory in which separation theorem fails
classification
🧮 math.LO
keywords
failsmathbfseparationtheoremtheoryclassesdefinefinite
pith:GQHDYIFS Add to your LaTeX paper
What is a Pith Number?\usepackage{pith}
\pithnumber{GQHDYIFS}
Prints a linked pith:GQHDYIFS badge after your title and writes the identifier into PDF metadata. Compiles on arXiv with no extra files. Learn more
read the original abstract
We make use of a finite support product of the Jensen minimal forcing to define a model of set theory in which the separation theorem fails for projective classes $\mathbf\Sigma^1_n$ and $\mathbf\Pi^1_n$, for a given $n\ge3$.
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.