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 cardinals; measurable cardinal; projective set; Steel core model

Mathematics Subject Classification ID

03E15: Descriptive set theory

03E55: Large cardinals

Related Items

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

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