Strong cardinals in the core model

Annals of Pure and Applied Logic 83 (2):165-198 (1997)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,779

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Hjorth, G., see Hauser, K.A. Andretta, J. Steel, J. Blanck, A. Carbone, E. A. Cichon & A. Weiermann - 1997 - Annals of Pure and Applied Logic 83:301.
A premouse inheriting strong cardinals from V.Farmer Schlutzenberg - 2020 - Annals of Pure and Applied Logic 171 (9):102826.
The core model for almost linear iterations.Ralf-Dieter Schindler - 2002 - Annals of Pure and Applied Logic 116 (1-3):205-272.
A hierarchy of ramsey cardinals.Qi Feng - 1990 - Annals of Pure and Applied Logic 49 (3):257-277.
Herzog, I., see Eklof, PC Hjorth, G., see Brendle, J.J. Brendle - 1995 - Annals of Pure and Applied Logic 72:309.
Some applications of short core models.Peter Koepke - 1988 - Annals of Pure and Applied Logic 37 (2):179-204.

Analytics

Added to PP
2014-01-16

Downloads
20 (#757,502)

6 months
7 (#592,867)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Projective Well-orderings of the Reals.Andrés Eduardo Caicedo & Ralf Schindler - 2006 - Archive for Mathematical Logic 45 (7):783-793.
Projective uniformization revisited.Kai Hauser & Ralf-Dieter Schindler - 2000 - Annals of Pure and Applied Logic 103 (1-3):109-153.
Strong Cardinals and Sets of Reals in Lω1.Ralf-Dieter Schindler - 1999 - Mathematical Logic Quarterly 45 (3):361-369.
A minimal counterexample to universal baireness.Kai Hauser - 1999 - Journal of Symbolic Logic 64 (4):1601-1627.

Add more citations

References found in this work

The core model.A. Dodd & R. Jensen - 1981 - Annals of Mathematical Logic 20 (1):43-75.
Inner models with many Woodin cardinals.J. R. Steel - 1993 - Annals of Pure and Applied Logic 65 (2):185-209.
Sets constructible from sequences of ultrafilters.William J. Mitchell - 1974 - Journal of Symbolic Logic 39 (1):57-66.
The covering lemma for K.Tony Dodd & Ronald Jensen - 1982 - Annals of Mathematical Logic 22 (1):1-30.
Iteration Trees.D. A. Martin & J. R. Steel - 2002 - Bulletin of Symbolic Logic 8 (4):545-546.

View all 9 references / Add more references