Counterexamples to countable-section varPi¹₂ uniformization and varPi¹₃ separation
classification
🧮 math.LO
keywords
varpidefinefailsmodelseparationuniformizationappropriatecountable
pith:XMGRTYRT Add to your LaTeX paper
What is a Pith Number?\usepackage{pith}
\pithnumber{XMGRTYRT}
Prints a linked pith:XMGRTYRT 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 $\varPi^1_2$ singleton forcing to define a model in which $\varPi^1_2$ Uniformization fails for a set with countable cross-sections. We also define appropriate submodels of the same model in which Separation fails for $\varPi^1_3$.
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.