✦ LIBER ✦

Gödel's square axioms for the continuum

✍ Scribed by Erik Ellentuck

Book ID: 110552208
Publisher: Springer
Year: 1975
Tongue: English
Weight: 302 KB
Volume: 216
Category: Article
ISSN: 0025-5831
DOI: 10.1007/bf02547969

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

The Consistency of the Axiom of Choice a

The Consistency of the Axiom of Choice and of the Generalized Continuum-Hypothesisby Kurt Gödel

✍ Review by: Paul Bernays 📂 Article 📅 1940 🏛 Association for Symbolic Logic 🌐 English ⚖ 310 KB

The Consistency of the Axiom of Choice a

The Consistency of the Axiom of Choice and of the Generalized Continuum- Hypothesis with the Axioms of Set Theoryby Kurt Gödel; George W. Brown

✍ Review by: Paul Bernays 📂 Article 📅 1941 🏛 Association for Symbolic Logic 🌐 English ⚖ 424 KB

What is Cantor's Continuum Problem?by Ku

What is Cantor's Continuum Problem?by Kurt Gödel

✍ Review by: S. C. Kleene 📂 Article 📅 1948 🏛 Association for Symbolic Logic 🌐 English ⚖ 312 KB

Bounded forcing axioms and the continuum

✍ David Asperó; Joan Bagaria 📂 Article 📅 2001 🏛 Elsevier Science 🌐 English ⚖ 241 KB

We show that bounded forcing axioms (for instance, the Bounded Proper Forcing Axiom and the Bounded Semiproper Forcing Axiom) are consistent with the existence of (!2; !2)-gaps and thus do not imply the Open Coloring Axiom. They are also consistent with Jensen's combinatorial principles for L at the

Forcing axioms and the continuum hypothe

Forcing axioms and the continuum hypothesis

✍ AsperÏ, David; Larson, Paul; Moore, Justin Tatch 📂 Article 📅 2013 🏛 Springer Netherlands 🌐 English ⚖ 408 KB

An Axiom System for the Propositional Ca

An Axiom System for the Propositional Calculusby Erik Götlind

✍ Review by: Oiva Ketonen 📂 Article 📅 1948 🏛 Association for Symbolic Logic 🌐 English ⚖ 173 KB