- 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
Guessing models and the approachability ideal
Journal of Mathematical Logic 21 (2):2150003 (2020)
Abstract
Starting with two supercompact cardinals we produce a generic extension of the universe in which a principle that we call GM+ holds. This principle implies ISP and ISP, and hence th...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
New methods in forcing iteration and applications.Rahman Mohammadpour - 2023 - Bulletin of Symbolic Logic 29 (2):300-302.
Chang’s conjecture, generic elementary embeddings and inner models for huge cardinals.Matthew Foreman - 2015 - Bulletin of Symbolic Logic 21 (3):251-269.
Absoluteness via resurrection.Giorgio Audrito & Matteo Viale - 2017 - Journal of Mathematical Logic 17 (2):1750005.
The tree property and the failure of SCH at uncountable cofinality.Dima Sinapova - 2012 - Archive for Mathematical Logic 51 (5-6):553-562.
Strong downward Löwenheim–Skolem theorems for stationary logics, II: reflection down to the continuum.Sakaé Fuchino, André Ottenbreit Maschio Rodrigues & Hiroshi Sakai - 2021 - Archive for Mathematical Logic 60 (3):495-523.
The tree property and the failure of the Singular Cardinal Hypothesis at ℵω2.Dima Sinapova - 2012 - Journal of Symbolic Logic 77 (3):934-946.
A model of the generic Vopěnka principle in which the ordinals are not Mahlo.Victoria Gitman & Joel David Hamkins - 2019 - Archive for Mathematical Logic 58 (1-2):245-265.
Tallness and level by level equivalence and inequivalence.Arthur W. Apter - 2010 - Mathematical Logic Quarterly 56 (1):4-12.
Generic compactness reformulated.Bernhard König - 2004 - Archive for Mathematical Logic 43 (3):311-326.
The special Aronszajn tree property.Mohammad Golshani & Yair Hayut - 2019 - Journal of Mathematical Logic 20 (1):2050003.
Analytics
Added to PP
2020-07-25
Downloads
22 (#733,560)
6 months
12 (#243,143)
2020-07-25
Downloads
22 (#733,560)
6 months
12 (#243,143)
Historical graph of downloads
Citations of this work
Weak saturation properties and side conditions.Monroe Eskew - 2024 - Annals of Pure and Applied Logic 175 (1):103356.
References found in this work
Forcing with Sequences of Models of Two Types.Itay Neeman - 2014 - Notre Dame Journal of Formal Logic 55 (2):265-298.
Reflecting stationary sets and successors of singular cardinals.Saharon Shelah - 1991 - Archive for Mathematical Logic 31 (1):25-53.
The combinatorial essence of supercompactness.Christoph Weiß - 2012 - Annals of Pure and Applied Logic 163 (11):1710-1717.
Guessing models and generalized Laver diamond.Matteo Viale - 2012 - Annals of Pure and Applied Logic 163 (11):1660-1678.
Quotients of strongly proper forcings and guessing models.Sean Cox & John Krueger - 2016 - Journal of Symbolic Logic 81 (1):264-283.
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-6mvtb uwo