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].

Categories

Keywords

Reprint years

2024

DOI

10.1142/s0219061323500046

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,323

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

On measurable limits of compact cardinals.Arthur W. Apter - 1999 - Journal of Symbolic Logic 64 (4):1675-1688.
On Measurable Limits of Compact Cardinals.Arthur Apter - 1999 - Journal of Symbolic Logic 64 (4):1675-1688.
Patterns of compact cardinals.Arthur W. Apter - 1997 - Annals of Pure and Applied Logic 89 (2-3):101-115.
A Cardinal Pattern Inspired by AD.Arthur W. Apter - 1996 - Mathematical Logic Quarterly 42 (1):211-218.
A Characterization of Generalized Příkrý Sequences.Gunter Fuchs - 2005 - Archive for Mathematical Logic 44 (8):935-971.
Weak Covering at Large Cardinals.Ralf ‐ Dieter Schindler - 1997 - Mathematical Logic Quarterly 43 (1):22-28.
Inner models in the region of a Woodin limit of Woodin cardinals.Itay Neeman - 2002 - Annals of Pure and Applied Logic 116 (1-3):67-155.
Two cardinals models with gap one revisited.Saharon Shelah - 2005 - Mathematical Logic Quarterly 51 (5):437-447.
Bounds for Covering Numbers.Andreas Liu - 2006 - Journal of Symbolic Logic 71 (4):1303 - 1310.
The tree property at the successor of a singular limit of measurable cardinals.Mohammad Golshani - 2018 - Archive for Mathematical Logic 57 (1-2):3-25.
Strong Cardinals and Sets of Reals in Lω1.Ralf-Dieter Schindler - 1999 - Mathematical Logic Quarterly 45 (3):361-369.
Global singularization and the failure of SCH.Radek Honzik - 2010 - Annals of Pure and Applied Logic 161 (7):895-915.
The Strengths of Some Violations of Covering.Heike Mildenberger - 2001 - Mathematical Logic Quarterly 47 (3):291-298.
Weak covering at large cardinals.Ralf‐Dieter Schindler - 1997 - Mathematical Logic Quarterly 43 (1):22-28.
The model N = ∪ {L[A]: A countable set of ordinals}.Claude Sureson - 1987 - Annals of Pure and Applied Logic 36:289-313.

Analytics

Added to PP
2023-02-10

Downloads
8 (#1,323,642)

6 months
6 (#530,399)

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