Counterexamples to countable-section _2¹ uniformization and _3¹ separation

DOI10.1016/J.APAL.2015.12.002MaRDI QIDQ904147zbMATH OpenOpenAlexWikidataFDO

Authors Vladimir Kanovei, Vassily Lyubetsky

Publication date 12 January 2016

Published in Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1410.2537

zbMATH Keywords

finite supportJensen's forcingseparationuniformization

Mathematics Subject Classification ID

Descriptive set theory (03E15) Other classical set theory (including functions, relations, and set algebra) (03E20) Consistency and independence results (03E35) Classes of sets (Borel fields, (sigma)-rings, etc.), measurable sets, Suslin sets, analytic sets (28A05)

Abstract: We make use of a finite support product of the Jensen minimal $varP{i}_2^1$ singleton forcing to define a model in which $varP{i}_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 $varP{i}_3^1$.

Recommendations

• Non-uniformizable sets of second projective level with countable cross-sections in the form of Vitali classes
• Non-uniformizable sets with countable cross-sections on a given level of the projective hierarchy
• scientific article; zbMATH DE number 4023264
• Structure Theory for Projective Sets in the Plane With Countable Sections
• Ramsey ultrafilters and countable-to-one uniformization

Cites work

• A definable \(E_0\) class containing no definable elements
• A Minimal Model for � CH: Iteration of Jensen's Reals
• Descriptive set theory
• scientific article; zbMATH DE number 3685477 (Why is no real title available?)
• scientific article; zbMATH DE number 3577197 (Why is no real title available?)
• scientific article; zbMATH DE number 722611 (Why is no real title available?)
• scientific article; zbMATH DE number 3351572 (Why is no real title available?)
• scientific article; zbMATH DE number 3387344 (Why is no real title available?)
• Luzin's contribution to the descriptive theory of sets and functions: concepts, problems, predictions
• On the Leibniz–Mycielski axiom in set theory
• Projective uniformization revisited
• Set Theory
• The development of the descriptive theory of sets under the influence of the work of Luzin

Cited in

(11)

• Factoring Solovay-random extensions, with application to the reduction property
• Definable \(\mathsf{E}_0\) classes at arbitrary projective levels
• The full basis theorem does not imply analytic wellordering
• Non-uniformizable sets of second projective level with countable cross-sections in the form of Vitali classes
• DEFINABLE MINIMAL COLLAPSE FUNCTIONS AT ARBITRARY PROJECTIVE LEVELS
• Models of set theory in which the separation theorem fails
• Non-uniformizable sets with countable cross-sections on a given level of the projective hierarchy
• On Russell typicality in set theory
• A good lightface \(\varDelta_n^1\) well-ordering of the reals does not imply the existence of boldface \(\mathbf{\Delta}_{n - 1}^1\) well-orderings
• Forcing the \(\Pi_3^1\)-reduction property and a failure of \(\Pi_3^1\)-uniformization
• A countable definable set containing no definable elements

This page was built for publication: Counterexamples to countable-section \(\varPi_2^1\) uniformization and \(\varPi_3^1\) separation

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q904147)