Natural internal forcing schemata extending ZFC: Truth in the universe?

Journal of Symbolic Logic 59 (2):461-472 (1994)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2275400

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,880

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

A Natural Model of the Multiverse Axioms.Victoria Gitman & Joel David Hamkins - 2010 - Notre Dame Journal of Formal Logic 51 (4):475-484.
The modal logic of -centered forcing and related forcing classes.Ur Ya’Ar - 2021 - Journal of Symbolic Logic 86 (1):1-24.
Steel's Programme: Evidential Framework, the Core and Ultimate-L.Joan Bagaria & Claudio Ternullo - 2021 - Review of Symbolic Logic:1-25.
Models as Universes.Brice Halimi - 2017 - Notre Dame Journal of Formal Logic 58 (1):47-78.
Steel’s Programme: Evidential Framework, the Core and Ultimate- L.Joan Bagaria & Claudio Ternullo - 2023 - Review of Symbolic Logic 16 (3):788-812.
The Ground Axiom.Jonas Reitz - 2007 - Journal of Symbolic Logic 72 (4):1299 - 1317.
The downward directed grounds hypothesis and very large cardinals.Toshimichi Usuba - 2017 - Journal of Mathematical Logic 17 (2):1750009.
Unfoldable cardinals and the GCH.Joel Hamkins - 2001 - Journal of Symbolic Logic 66 (3):1186-1198.
Semiproper forcing axiom implies Martin maximum but not PFA+.Saharon Shelah - 1987 - Journal of Symbolic Logic 52 (2):360-367.
Dependent choice, properness, and generic absoluteness.David Asperó & Asaf Karagila - forthcoming - Review of Symbolic Logic:1-25.

Analytics

Added to PP
2009-01-28

Downloads
187 (#131,279)

6 months
11 (#377,362)

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

Multiple Forcing.T. Jech - 1989 - Journal of Symbolic Logic 54 (3):1112-1113.

Add more references