Strong cardinals in the core model
From MaRDI portal
Publication:5961724
DOI10.1016/S0168-0072(97)00014-6zbMath0869.03028MaRDI QIDQ5961724
Publication date: 24 August 1997
Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)
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