The Bounded Axiom A Forcing Axiom |
| |
Authors: | Thilo Weinert |
| |
Institution: | Mathematical Institute, University of Bonn, Endenicher Allee 60, D‐53115 Bonn |
| |
Abstract: | We introduce the Bounded Axiom A Forcing Axiom (BAAFA). 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 Axiom (BPFA) (© 2010 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim) |
| |
Keywords: | BAAFA BPFA Forcing Axiom Axiom A proper forcing correct cardinal reflecting cardinal |
|
|