- 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
Generic absoluteness
Annals of Pure and Applied Logic 108 (1-3):3-13 (2001)
Abstract
We explore the consistency strength of Σ31 and Σ41 absoluteness, for a variety of forcing notions.Author Profiles
My notes
Similar books and articles
Generic absoluteness.Joan Bagaria & Sy D. Friedman - 2001 - Annals of Pure and Applied Logic 108 (1-3):3-13.
Subcomplete forcing, trees, and generic absoluteness.Gunter Fuchs & Kaethe Minden - 2018 - Journal of Symbolic Logic 83 (3):1282-1305.
Universally baire sets and generic absoluteness.Trevor M. Wilson - 2017 - Journal of Symbolic Logic 82 (4):1229-1251.
Bounded forcing axioms as principles of generic absoluteness.Joan Bagaria - 2000 - Archive for Mathematical Logic 39 (6):393-401.
Dependent choice, properness, and generic absoluteness.David Asperó & Asaf Karagila - forthcoming - Review of Symbolic Logic:1-25.
Proper forcing extensions and Solovay models.Joan Bagaria & Roger Bosch - 2004 - Archive for Mathematical Logic 43 (6):739-750.
Absoluteness via resurrection.Giorgio Audrito & Matteo Viale - 2017 - Journal of Mathematical Logic 17 (2):1750005.
Solovay models and forcing extensions.Joan Bagaria & Roger Bosch - 2004 - Journal of Symbolic Logic 69 (3):742-766.
Preserving levels of projective determinacy by tree forcings.Fabiana Castiblanco & Philipp Schlicht - 2021 - Annals of Pure and Applied Logic 172 (4):102918.
Analytics
Added to PP
2017-02-19
Downloads
10 (#395,257)
6 months
4 (#1,635,958)
2017-02-19
Downloads
10 (#395,257)
6 months
4 (#1,635,958)
Historical graph of downloads
Author Profiles
Citations of this work
The Necessary Maximality Principle for c. c. c. forcing is equiconsistent with a weakly compact cardinal.Joel D. Hamkins & W. Hugh Woodin - 2005 - Mathematical Logic Quarterly 51 (5):493-498.
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.
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.
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-6686886f5-2nz2h uwo