Counterexamples to countable-section $\varPi^1_2$ uniformization and $\varPi^1_3$ separation
Logic
2018-08-16 v2
Abstract
We make use of a finite support product of the Jensen minimal singleton forcing to define a model in which Uniformization fails for a set with countable cross-sections. We also define appropriate submodels of the same model in which Separation fails for .
Cite
@article{arxiv.1410.2537,
title = {Counterexamples to countable-section $\varPi^1_2$ uniformization and $\varPi^1_3$ separation},
author = {Vladimir Kanovei and Vassily Lyubetsky},
journal= {arXiv preprint arXiv:1410.2537},
year = {2018}
}
Comments
arXiv admin note: text overlap with arXiv:1408.3901