Covering at limit cardinals of K

Journal of Mathematical Logic 24 (1) (2023)
  Copy   BIBTEX

Abstract

Assume that there is no transitive class model of [Formula: see text] with a Woodin cardinal. Let [Formula: see text] be a singular ordinal such that [Formula: see text] and [Formula: see text]. Suppose [Formula: see text] is a regular cardinal in K. Then [Formula: see text] is a measurable cardinal in K. Moreover, if [Formula: see text], then [Formula: see text].

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 97,335

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

Collapsing the cardinals of HOD.James Cummings, Sy David Friedman & Mohammad Golshani - 2015 - Journal of Mathematical Logic 15 (2):1550007.
The mouse set theorem just past projective.Mitch Rudominer - forthcoming - Journal of Mathematical Logic.
On cuts in ultraproducts of linear orders I.Mohammad Golshani & Saharon Shelah - 2016 - Journal of Mathematical Logic 16 (2):1650008.
Local saturation and square everywhere.Monroe Eskew - 2020 - Journal of Mathematical Logic 20 (3):2050019.
Ordinal definability and combinatorics of equivalence relations.William Chan - 2019 - Journal of Mathematical Logic 19 (2):1950009.
Higher indescribability and derived topologies.Brent Cody - 2023 - Journal of Mathematical Logic 24 (1).

Analytics

Added to PP
2023-02-10

Downloads
15 (#1,104,559)

6 months
8 (#786,674)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

William Mitchell
University of Wisconsin, Madison

Citations of this work

No citations found.

Add more citations

References found in this work

$K$ without the measurable.Ronald Jensen & John Steel - 2013 - Journal of Symbolic Logic 78 (3):708-734.
The covering lemma up to a Woodin cardinal.W. J. Mitchell, E. Schimmerling & J. R. Steel - 1997 - Annals of Pure and Applied Logic 84 (2):219-255.
Deconstructing inner model theory.Ralf-Dieter Schindler, John Steel & Martin Zeman - 2002 - Journal of Symbolic Logic 67 (2):721-736.
The core model for almost linear iterations.Ralf-Dieter Schindler - 2002 - Annals of Pure and Applied Logic 116 (1-3):205-272.

Add more references