✦ LIBER ✦

Sacks forcing, Laver forcing, and Martin's axiom

✍ Scribed by Haim Judah; Arnold W. Miller; Saharon Shelah

Book ID: 105140242
Publisher: Springer
Year: 1992
Tongue: English
Weight: 881 KB
Volume: 31
Category: Article
ISSN: 0933-5846
DOI: 10.1007/bf01269943

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

The Bounded Axiom A Forcing Axiom

✍ Thilo Weinert 📂 Article 📅 2010 🏛 John Wiley and Sons 🌐 English ⚖ 138 KB

## 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

Mathias–Prikry and Laver–Prikry type for

Mathias–Prikry and Laver–Prikry type forcing

✍ Hrušák, Michael; Minami, Hiroaki 📂 Article 📅 2014 🏛 Elsevier Science 🌐 English ⚖ 338 KB

Martin’s Maximum and tower forcing

✍ Sean Cox, Matteo Viale 📂 Article 📅 2013 🏛 The Hebrew University Magnes Press 🌐 English ⚖ 391 KB

Proper forcing axiom and selective separ

Proper forcing axiom and selective separability

✍ Doyel Barman; Alan Dow 📂 Article 📅 2012 🏛 Elsevier Science 🌐 English ⚖ 196 KB

The Proper Forcing Axiom, Prikry forcing

The Proper Forcing Axiom, Prikry forcing, and the Singular Cardinals Hypothesis

✍ Justin Tatch Moore 📂 Article 📅 2006 🏛 Elsevier Science 🌐 English ⚖ 156 KB

Consistently There Is No Non Trivial CCC

Consistently There Is No Non Trivial CCC Forcing Notion with the Sacks or Laver Property

✍ Saharon Shelah 📂 Article 📅 2001 🏛 Springer-Verlag 🌐 English ⚖ 177 KB