Projective uniformization revisited

DOI10.1016/S0168-0072(99)00038-XMaRDI QIDQ1977487zbMATH OpenOpenAlexFDO

Authors Kai Hauser, Ralf Schindler

Publication date 28 May 2001

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

Full work available at URL https://doi.org/10.1016/s0168-0072(99)00038-x

zbMATH Keywords

consistency strengthcore modelsprojective setsstrong cardinalsuniformizationVictoria Delfino problem

Mathematics Subject Classification ID

Descriptive set theory (03E15) Consistency and independence results (03E35) Inner models, including constructibility, ordinal definability, and core models (03E45) Large cardinals (03E55) Determinacy principles (03E60) Classes of sets (Borel fields, (sigma)-rings, etc.), measurable sets, Suslin sets, analytic sets (28A05)

Review text

This paper is part of what the authors call ``the Victoria Delfino Project (p.~110). The twelfth Victoria Delfino Problem [Cabal seminar 81-85, Proc., Caltech-UCLA Logic Semin., Los Angeles/Calif. 1981-85, Lect. Notes Math. 1333, 221-224 (1988; Zbl 0648.03036)] asked about the consistency strength of the statement ``Every projective set is Lebesgue measurable, has the property of Baire, and has a projective uniformization (\textbf{VD\#12}). The authors compute the consistency strength of (\textbf{VD\#12}) in the base theory ZFC \(+\) ``there is a measurable cardinal (the upper bound is due to Steel, September 1997). It is exactly the strength of ``there is a strictly increasing sequence \(\langle \kappa_i~;~i\in\omega\rangle\) of \(\lambda^+\)-strong cardinals (where \(\lambda = \sup \{\kappa_i~;~i\in\omega\}\)) (Theorem 4.2). The result needs a computation of the complexity of \({\mathcal J}^{\mathbb K}_{\omega_1^{\mathbb V}}\) in the case that this segment contains only finitely many (locally) strong cardinals (Theorem 3.4), generalizing theorems of \textit{K. Hauser} [Ann. Pure Appl. Logic 74, No. 3, 245-295 (1995; Zbl 0836.03025)]. Prerequisites for reading this paper are a basic understanding of descriptive set theory and a very strong grasp on methods and techniques of core model theory. The authors use Jensen's indexing method from ``A new fine structure for higher core models [handwritten notes, 1997]. The results of this paper have been strengthened by \textit{R. D. Schindler} [Math. Log. Q. 45, No. 3, 361-369 (1999; Zbl 0931.03059)] beyond the projective hierarchy. Furthermore, Schindler developed in his \textsl{Habilitationsschrift} the core models needed in this paper without the additional metamathematical assumption of a measurable cardinal, thereby strengthening the main result of this paper.

Recommendations

• The core model for almost linear iterations
• Strong cardinals in the core model
• scientific article; zbMATH DE number 4047708
• Retracted: Baire property and axiom of choice
• Supercomplete extenders and type 1 mice. I
• The consistency strength of projective absoluteness
• Core models
• The strength of choiceless patterns of singular and weakly compact cardinals
• The core model induction in a choiceless context
• Projective determinacy

Cites work

• A mathematical proof of S. Shelah's theorem on the measure problem and related results
• A minimal counterexample to universal baireness
• Descriptive set theory
• scientific article; zbMATH DE number 3865265 (Why is no real title available?)
• scientific article; zbMATH DE number 4057505 (Why is no real title available?)
• scientific article; zbMATH DE number 567513 (Why is no real title available?)
• scientific article; zbMATH DE number 967740 (Why is no real title available?)
• Strong Cardinals and Sets of Reals in Lω1(ℝ)
• Strong cardinals in the core model
• The consistency strength of projective absoluteness
• The covering lemma up to a Woodin cardinal
• The maximality of the core model

Cited in

(12)

• The core model for almost linear iterations
• The consistency strength of projective absoluteness
• The full basis theorem does not imply analytic wellordering
• scientific article; zbMATH DE number 3865265 (Why is no real title available?)
• Non-uniformizable sets of second projective level with countable cross-sections in the form of Vitali classes
• Universally Baire sets and definable well-orderings of the reals
• scientific article; zbMATH DE number 1420842 (Why is no real title available?)
• Models of set theory in which the separation theorem fails
• scientific article; zbMATH DE number 7668094 (Why is no real title available?)
• The global \({\Sigma}_{n + 2}^1\)-uniformization property and \(\mathsf{BPFA} \)
• Projective well-orderings of the reals
• Counterexamples to countable-section \(\varPi_2^1\) uniformization and \(\varPi_3^1\) separation

This page was built for publication: Projective uniformization revisited

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