Article ID Journal Published Year Pages File Type
4661593 Annals of Pure and Applied Logic 2016 22 Pages PDF
Abstract

We make use of a finite support product of the Jensen minimal Π21 singleton forcing to define a model in which Π21 uniformization fails for a set with countable cross-sections. We also define appropriate submodels of the same model in which separation fails for Π31.

Keywords
Related Topics
Physical Sciences and Engineering Mathematics Logic
Preview
Counterexamples to countable-section Π21 uniformization and Π31 separation
Authors
, ,