Generic absoluteness

Annals of Pure and Applied Logic 108 (1-3):3-13 (2001)
  Copy   BIBTEX

Abstract

We explore the consistency strength of Σ 3 1 and Σ 4 1 absoluteness, for a variety of forcing notions

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 94,623

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Analytics

Added to PP
2014-01-16

Downloads
23 (#687,158)

6 months
3 (#1,257,776)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

Solovay models and forcing extensions.Joan Bagaria & Roger Bosch - 2004 - Journal of Symbolic Logic 69 (3):742-766.
Proper forcing extensions and Solovay models.Joan Bagaria & Roger Bosch - 2004 - Archive for Mathematical Logic 43 (6):739-750.
The stationarity of the collection of the locally regulars.Gunter Fuchs - 2015 - Archive for Mathematical Logic 54 (5-6):725-739.
Generic Σ3 1 absoluteness.Sy D. Friedman - 2004 - Journal of Symbolic Logic 69 (1):73-80.

Add more citations

References found in this work

Some exact equiconsistency results in set theory.Leo Harrington & Saharon Shelah - 1985 - Notre Dame Journal of Formal Logic 26 (2):178-188.
Bounded forcing axioms as principles of generic absoluteness.Joan Bagaria - 2000 - Archive for Mathematical Logic 39 (6):393-401.
Adding a closed unbounded set.J. E. Baumgartner, L. A. Harrington & E. M. Kleinberg - 1976 - Journal of Symbolic Logic 41 (2):481-482.
The bounded proper forcing axiom.Martin Goldstern & Saharon Shelah - 1995 - Journal of Symbolic Logic 60 (1):58-73.
Some applications of Jensen's coding theorem.R. David - 1982 - Annals of Mathematical Logic 22 (2):177-196.

View all 7 references / Add more references