The bounded axiom a forcing axiom

Thilo Weinert

doi:10.1002/malq.200810163

The bounded axiom a forcing axiom

Thilo Weinert

Research output: Contribution to journal › Article › peer-review

1 Scopus citations

Abstract

We introduce the Bounded Axiom A Forcing Axiom (BAAFA). It turns out that it is equiconsistent with the existence of a regular Σ₂-correct cardinal and hence also equiconsistent with BPFA. Furthermore we show that, if consistent, it does not imply the Bounded Proper Forcing Axiom (BPFA).

Original language	English
Pages (from-to)	659-665
Number of pages	7
Journal	Mathematical Logic Quarterly
Volume	56
Issue number	6
DOIs	https://doi.org/10.1002/malq.200810163
State	Published - 1 Dec 2010
Externally published	Yes

Keywords

Axiom A
BAAFA
BPFA
Correct cardinal
Forcing Axiom
Proper forcing
Reflecting cardinal

ASJC Scopus subject areas

Logic

Access to Document

10.1002/malq.200810163

Cite this

@article{d59b028ddb57441ebf5152bd814e671a,

title = "The bounded axiom a forcing axiom",

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).",

keywords = "Axiom A, BAAFA, BPFA, Correct cardinal, Forcing Axiom, Proper forcing, Reflecting cardinal",

author = "Thilo Weinert",

year = "2010",

month = dec,

day = "1",

doi = "10.1002/malq.200810163",

language = "English",

volume = "56",

pages = "659--665",

journal = "Mathematical Logic Quarterly",

issn = "0942-5616",

publisher = "Wiley-VCH Verlag",

number = "6",

}

TY - JOUR

T1 - The bounded axiom a forcing axiom

AU - Weinert, Thilo

PY - 2010/12/1

Y1 - 2010/12/1

N2 - 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).

AB - 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).

KW - Axiom A

KW - BAAFA

KW - BPFA

KW - Correct cardinal

KW - Forcing Axiom

KW - Proper forcing

KW - Reflecting cardinal

UR - http://www.scopus.com/inward/record.url?scp=78149400458&partnerID=8YFLogxK

U2 - 10.1002/malq.200810163

DO - 10.1002/malq.200810163

M3 - Article

AN - SCOPUS:78149400458

SN - 0942-5616

VL - 56

SP - 659

EP - 665

JO - Mathematical Logic Quarterly

JF - Mathematical Logic Quarterly

IS - 6

ER -

The bounded axiom a forcing axiom

Abstract

Keywords

ASJC Scopus subject areas

Access to Document

Other files and links

Fingerprint

Cite this