Back to Search
Start Over
Counterexamples to countable-section Π21 uniformization and Π31 separation
- Source :
- Annals of Pure and Applied Logic. 167:262-283
- Publication Year :
- 2016
- Publisher :
- Elsevier BV, 2016.
-
Abstract
- We make use of a finite support product of the Jensen minimal Π 2 1 singleton forcing to define a model in which Π 2 1 uniformization fails for a set with countable cross-sections. We also define appropriate submodels of the same model in which separation fails for Π 3 1 .
- Subjects :
- Discrete mathematics
Forcing (recursion theory)
Logic
Singleton
010102 general mathematics
0102 computer and information sciences
01 natural sciences
Set (abstract data type)
010201 computation theory & mathematics
Product (mathematics)
Countable set
0101 mathematics
Uniformization (set theory)
Counterexample
Mathematics
Subjects
Details
- ISSN :
- 01680072
- Volume :
- 167
- Database :
- OpenAIRE
- Journal :
- Annals of Pure and Applied Logic
- Accession number :
- edsair.doi...........85a32112eb7634ae14c0af44a9df54bf
- Full Text :
- https://doi.org/10.1016/j.apal.2015.12.002