Deconstructing inner model theory

, &
Journal of Symbolic Logic 67 (2):721-736 (2002)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2178/jsl/1190150106

Links

PhilArchive



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

External links

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

Through your library

My notes

Similar books and articles

Pure and Hybrid Mice with Finitely Many Woodin Cardinals from Levels of Determinacy Westfälische Wilhelms-Universität Münster, Germany, 2016. Supervised by Ralf-Dieter Schindler.Sandra Müller - 2018 - Bulletin of Symbolic Logic 24 (2):198-198.
Zeman Martin. Inner models and large cardinals. de Gruyter Series in Logic and its Applications, vol. 5. Walter de Gruyter and Co., Berlin, 2002, xii+ 369 pp. [REVIEW]Ernest Schimmerling - 2003 - Bulletin of Symbolic Logic 9 (2):234-235.
Review: Donald A. Martin, John R. Steel, Projective Determinacy; W. Hugh Woodin, Supercompact Cardinals, Sets of Reals, and Weakly Homogeneous Trees; Donald A. Martin, John R. Steel, A Proof of Projective Determinacy. [REVIEW]Matthew D. Foreman - 1992 - Journal of Symbolic Logic 57 (3):1132-1136.
omnibus Review. [REVIEW]Thomas Jech - 1992 - Journal of Symbolic Logic 57 (1):261-262.
[Omnibus Review].Thomas Jech - 1992 - Journal of Symbolic Logic 57 (1):261-262.
Review: John R. Steel, The Core Model Iterability Problem. [REVIEW]Ernest Schimmerling - 1998 - Journal of Symbolic Logic 63 (1):326-328.
John R. Steel and W. Hugh Woodin, HOD as a core model, Ordinal Definability and Recursion Theory: The Cabal Seminar, vol. III , Lecture Notes in Logic 43, Association for Symbolic Logic and Cambridge University Press, 2016, pp. 257–343. [REVIEW]Ernest Schimmerling - 2016 - Bulletin of Symbolic Logic 22 (4):521-524.
P f_≠ NP _f_ for almost all _f.Joel David Hamkins & Philip D. Welch - 2003 - Mathematical Logic Quarterly 49 (5):536-540.
P^f NP^f for almost all f.J. D. Hamkins - 2003 - Mathematical Logic Quarterly 49 (5):536.
Some applications of coarse inner model theory.Greg Hjorth - 1997 - Journal of Symbolic Logic 62 (2):337-365.

Analytics

Added to PP
2009-01-28

Downloads
33 (#471,918)

6 months
13 (#277,486)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Jack Steel
University of Edinburgh

Citations of this work

Characterization of □κin core models.Ernest Schimmerling & Martin Zeman - 2004 - Journal of Mathematical Logic 4 (01):1-72.
Long games and σ-projective sets.Juan P. Aguilera, Sandra Müller & Philipp Schlicht - 2021 - Annals of Pure and Applied Logic 172 (4):102939.

View all 17 citations / Add more citations

References found in this work

Combinatorial principles in the core model for one Woodin cardinal.Ernest Schimmerling - 1995 - Annals of Pure and Applied Logic 74 (2):153-201.

Add more references