The modal logic of inner models

&
Journal of Symbolic Logic 81 (1):225-236 (2016)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1017/jsl.2015.67

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,337

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

John Steel and Hugh Woodin. HOD as a Core Model. Ordinal Definability and Recursion Theory: The Cabal Seminar, Volume III, edited by Alexander Kechris, Benedikt Lowe, and John Steel, Lecture Notes in Logic, vol. 3, Cambridge University Press, Cambridge, pp. 257–345. [REVIEW]Derek Levinson - 2023 - Bulletin of Symbolic Logic 29 (4):656-657.
Ernest Schimmerling. Covering properties of core models. Sets and proofs. , London Mathematical Society Lecture Note Series 258. Cambridge University Press, Cambridge, 1999, pp. 281–299. - Peter Koepke. An introduction to extenders and core models for extender sequences. Logic Colloquium '87 , Studies in Logic and the Foundations of Mathematics 129. North-Holland, Amsterdam, 1989, pp. 137–182. - William J. Mitchell. The core model up to a Woodin cardinal. Logic, methodology and philosophy of science, IX , Studies in Logic and the Foundations of Mathematics 134, North-Holland, Amsterdam, 1994, pp. 157–175. - Benedikt Löwe and John R. Steel. An introduction to core model theory. Sets and proofs , London Mathematical Society Lecture Note Series 258, Cambridge University Press, Cambridge, 1999, pp. 103–157. - John R. Steel. Inner models with many Woodin cardinals. Annals of Pure and Applied Logic, vol. 65 no. 2 , pp. 185–209. - Ernest Schimmerling. Combinatorial principles in the core mode. [REVIEW]Martin Zeman - 2004 - Bulletin of Symbolic Logic 10 (4):583-588.
0# and inner models.S. Y. D. Friedman - 2002 - Journal of Symbolic Logic 67 (3):924-932.
On the inadequacy of inner models.Andreas Blass - 1972 - Journal of Symbolic Logic 37 (3):569-571.
Inner Models for Set Theory.J. C. Shepherdson - 1953 - Journal of Symbolic Logic 18 (4):342-343.
$0\sp \#$ and inner models. [REVIEW]Sy D. Friedman - 2002 - Journal of Symbolic Logic 67 (3):924-932.
Inner Models and Large Cardinals.Martin Zeman - 2003 - Bulletin of Symbolic Logic 9 (2):234-235.
Inner Models and Large Cardinals. [REVIEW]Ernest Schimmerling - 2003 - Bulletin of Symbolic Logic 9 (2):234-235.
Fine structure for Tame inner models.E. Schimmerling & J. R. Steel - 1996 - Journal of Symbolic Logic 61 (2):621-639.
Coding into Inner Models at the Level of Strong Cardinals.Marios Koulakis - 2018 - Bulletin of Symbolic Logic 24 (4):456-456.

Analytics

Added to PP
2016-06-30

Downloads
30 (#750,757)

6 months
6 (#858,075)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Benedikt Löwe
University of Amsterdam

Citations of this work

Add more citations

References found in this work

Consistency results about ordinal definability.Kenneth McAloon - 1971 - Annals of Mathematical Logic 2 (4):449.
The Consistency Strength of M P C C C.George Leibman - 2010 - Notre Dame Journal of Formal Logic 51 (2):181-193.

Add more references