A minimal counterexample to universal baireness

DOI10.2307/2586801zbMath0949.03041OpenAlexW1994543539WikidataQ124816316 ScholiaQ124816316MaRDI QIDQ4948531

Kai Hauser

Publication date: 11 April 2000

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2586801

zbMATH Keywords

categorycore modelLevy collapseuniversally Baire setsfine structure modelsprojective theory of the real numbersset forcing extensionsset of reals of minimal complexity

Mathematics Subject Classification ID

Descriptive set theory (03E15) Classes of sets (Borel fields, (sigma)-rings, etc.), measurable sets, Suslin sets, analytic sets (28A05) Baire category, Baire spaces (54E52) Inner models, including constructibility, ordinal definability, and core models (03E45) Descriptive set theory (topological aspects of Borel, analytic, projective, etc. sets) (54H05) Classification of real functions; Baire classification of sets and functions (26A21)

Related Items

Projective uniformization revisited

Cites Work

• Unnamed Item
• Inner models with many Woodin cardinals
• Projectively well-ordered inner models
• The consistency strength of projective absoluteness
• A basis theorem for \(\sum^ 1_ 3\) sets of reals
• Strong cardinals in the core model