Forcing axioms via ground model interpretations

&
Annals of Pure and Applied Logic 174 (6):103260 (2023)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/j.apal.2023.103260

Links

PhilArchive



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

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

Certain very large cardinals are not created in small forcing extensions.Richard Laver - 2007 - Annals of Pure and Applied Logic 149 (1-3):1-6.
Forcing Indestructibility of Set-Theoretic Axioms.Bernhard König - 2007 - Journal of Symbolic Logic 72 (1):349 - 360.
Incompatible bounded category forcing axioms.David Asperó & Matteo Viale - 2022 - Journal of Mathematical Logic 22 (2).
The Ground Axiom.Jonas Reitz - 2007 - Journal of Symbolic Logic 72 (4):1299 - 1317.
Forcing with Non-wellfounded Models.Paul Corazza - 2007 - Australasian Journal of Logic 5:20-57.
Projective well-orderings and bounded forcing axioms.Andrés Eduardo Caicedo - 2005 - Journal of Symbolic Logic 70 (2):557-572.
Projective Well-Orderings and Bounded Forcing Axioms.Andrés Eduardo Caicedo - 2005 - Journal of Symbolic Logic 70 (2):557 - 572.
Understanding preservation theorems, II.Chaz Schlindwein - 2010 - Mathematical Logic Quarterly 56 (5):549-560.
On resurrection axioms.Konstantinos Tsaprounis - 2015 - Journal of Symbolic Logic 80 (2):587-608.
Forcing and stable ordered–union ultrafilters.Todd Eisworth - 2002 - Journal of Symbolic Logic 67 (1):449-464.
PFA and Ideals on $\omega_{2}$ Whose Associated Forcings Are Proper.Sean Cox - 2012 - Notre Dame Journal of Formal Logic 53 (3):397-412.
Iteratively Changing the Heights of Automorphism Towers.Gunter Fuchs & Philipp Lücke - 2012 - Notre Dame Journal of Formal Logic 53 (2):155-174.
A minimal Prikry-type forcing for singularizing a measurable cardinal.Peter Koepke, Karen Räsch & Philipp Schlicht - 2013 - Journal of Symbolic Logic 78 (1):85-100.
Aronszajn tree preservation and bounded forcing axioms.Gunter Fuchs - 2021 - Journal of Symbolic Logic 86 (1):293-315.
Hierarchies of resurrection axioms.Gunter Fuchs - 2018 - Journal of Symbolic Logic 83 (1):283-325.

Analytics

Added to PP
2023-03-30

Downloads
11 (#1,157,103)

6 months
7 (#478,520)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

Bounded forcing axioms as principles of generic absoluteness.Joan Bagaria - 2000 - Archive for Mathematical Logic 39 (6):393-401.
$K$ without the measurable.Ronald Jensen & John Steel - 2013 - Journal of Symbolic Logic 78 (3):708-734.
Forcing closed unbounded sets.Uri Abraham & Saharon Shelah - 1983 - Journal of Symbolic Logic 48 (3):643-657.
A characterization of Martin's axiom in terms of absoluteness.Joan Bagaria - 1997 - Journal of Symbolic Logic 62 (2):366-372.

View all 7 references / Add more references