Premium
The Bounded Axiom A Forcing Axiom
Author(s) -
Weinert Thilo
Publication year - 2010
Publication title -
mathematical logic quarterly
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.473
H-Index - 28
eISSN - 1521-3870
pISSN - 0942-5616
DOI - 10.1002/malq.200810163
Subject(s) - mathematics , forcing (mathematics) , axiom , bounded function , axiom of choice , zermelo–fraenkel set theory , axiom independence , constructive set theory , urelement , discrete mathematics , set theory , mathematical analysis , computer science , geometry , set (abstract data type) , programming language
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)