- 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
The Bounded Axiom A Forcing Axiom
Mathematical Logic Quarterly 56 (6):659-665 (2010)
Abstract
We introduce the Bounded Axiom A Forcing Axiom . It turns out that it is equiconsistent with the existence of a regular ∑2-correct cardinal and hence also equiconsistent with BPFA. Furthermore we show that, if consistent, it does not imply the Bounded Proper Forcing AxiomMy notes
Similar books and articles
The bounded proper forcing axiom.Martin Goldstern & Saharon Shelah - 1995 - Journal of Symbolic Logic 60 (1):58-73.
Distributive proper forcing axiom and cardinal invariants.Huiling Zhu - 2013 - Archive for Mathematical Logic 52 (5-6):497-506.
Proper forcing, cardinal arithmetic, and uncountable linear orders.Justin Tatch Moore - 2005 - Bulletin of Symbolic Logic 11 (1):51-60.
Removing Laver functions from supercompactness arguments.Arthur W. Apter - 2005 - Mathematical Logic Quarterly 51 (2):154.
The Proper Forcing Axiom and the Singular Cardinal Hypothesis.Matteo Viale - 2006 - Journal of Symbolic Logic 71 (2):473 - 479.
A Cardinal Pattern Inspired by AD.Arthur W. Apter - 1996 - Mathematical Logic Quarterly 42 (1):211-218.
On the equivalence of certain consequences of the proper forcing axiom.Peter Nyikos & Leszek Piątkiewicz - 1995 - Journal of Symbolic Logic 60 (2):431-443.
Bounded forcing axioms as principles of generic absoluteness.Joan Bagaria - 2000 - Archive for Mathematical Logic 39 (6):393-401.
Inner models with large cardinal features usually obtained by forcing.Arthur W. Apter, Victoria Gitman & Joel David Hamkins - 2012 - Archive for Mathematical Logic 51 (3-4):257-283.
Analytics
Added to PP
2013-12-01
Downloads
36 (#421,132)
6 months
3 (#902,269)
2013-12-01
Downloads
36 (#421,132)
6 months
3 (#902,269)
Historical graph of downloads
Citations of this work
Baumgartnerʼs conjecture and bounded forcing axioms.David Asperó, Sy-David Friedman, Miguel Angel Mota & Marcin Sabok - 2013 - Annals of Pure and Applied Logic 164 (12):1178-1186.
References found in this work
The bounded proper forcing axiom.Martin Goldstern & Saharon Shelah - 1995 - Journal of Symbolic Logic 60 (1):58-73.
On coherent families of finite-to-one functions.Piotr Koszmider - 1993 - Journal of Symbolic Logic 58 (1):128-138.
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-7c76586df8-pp8v9 uwo