- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
Covering at limit cardinals of K
Journal of Mathematical Logic 24 (1) (2023)
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].Author's Profile
Links
PhilArchive
External links
(no proxy)
Setup an account with your affiliations in order to access resources via your University's proxy server
Through your library
- Sign in / register and customize your OpenURL resolver
- Configure custom resolver
My notes
Similar books and articles
Maximal models up to the first measurable in ZFC.John T. Baldwin & Saharon Shelah - 2023 - Journal of Mathematical Logic 24 (1).
On the consistency of ZF with an elementary embedding from Vλ+2 into Vλ+2.Farmer Schlutzenberg - forthcoming - Journal of Mathematical Logic.
Collapsing the cardinals of HOD.James Cummings, Sy David Friedman & Mohammad Golshani - 2015 - Journal of Mathematical Logic 15 (2):1550007.
Mice with finitely many Woodin cardinals from optimal determinacy hypotheses.Sandra Müller, Ralf Schindler & W. Hugh Woodin - 2020 - Journal of Mathematical Logic 20 (Supp01):1950013.
Mice with finitely many Woodin cardinals from optimal determinacy hypotheses.Sandra Müller, Ralf Schindler & W. Hugh Woodin - 2020 - Journal of Mathematical Logic 20 (Supp01):1950013.
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.
Homogeneous changes in cofinalities with applications to HOD.Omer Ben-Neria & Spencer Unger - 2017 - Journal of Mathematical Logic 17 (2):1750007.
Analytics
Added to PP
2023-02-10
Downloads
10 (#395,257)
6 months
7 (#1,397,300)
2023-02-10
Downloads
10 (#395,257)
6 months
7 (#1,397,300)
Historical graph of downloads
Author's Profile
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.
Covering theorems for the core model, and an application to stationary set reflection.Sean Cox - 2010 - Annals of Pure and Applied Logic 161 (1):66-93.
The core model for almost linear iterations.Ralf-Dieter Schindler - 2002 - Annals of Pure and Applied Logic 116 (1-3):205-272.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-68866f4b87-zhzfn uwo