Strong cardinals in the core model

DOI10.1016/S0168-0072(97)00014-6zbMath0869.03028MaRDI QIDQ5961724

Kai Hauser, Greg Hjorth

Publication date: 24 August 1997

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

zbMATH Keywords

strong cardinalsmeasurable cardinalprojective setSteel core model

Mathematics Subject Classification ID

Descriptive set theory (03E15) Large cardinals (03E55)

Related Items (4)

Projective well-orderings of the reals ⋮ Projective uniformization revisited ⋮ A minimal counterexample to universal baireness ⋮ \(\Sigma_3^1\) absoluteness and the second uniform indiscernible

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• The covering lemma up to a Woodin cardinal
• Descriptive set theory
• Cabal seminar 81-85. Proceedings, Caltech-UCLA logic seminar 1981-1985, Los Angeles, CA (USA)
• \(\Sigma_3^1\) absoluteness and the second uniform indiscernible
• Inner models with many Woodin cardinals
• The consistency strength of projective absoluteness
• Weak covering without countable closure
• A basis theorem for \(\sum^ 1_ 3\) sets of reals
• Measurable cardinals and \(\Delta^1_3\) well-orderings
• Core models
• The core model for sequences of measures. I
• A Proof of Projective Determinacy
• The core model
• The covering lemma for K
• Sets constructible from sequences of ultrafilters
• Iteration Trees
• Core models with more Woodin cardinals
• Some applications of iterated ultrapowers in set theory
• How to win some simple iteration games

This page was built for publication: Strong cardinals in the core model