An equiconsistency result on partial squares

Journal of Mathematical Logic 11 (1):29-59 (2011)

Abstract

We prove that the following two statements are equiconsistent: there exists a greatly Mahlo cardinal; there exists a regular uncountable cardinal κ such that no stationary subset of κ+ ∩ cof carries a partial square.

Download options

PhilArchive



    Upload a copy of this work     Papers currently archived: 72,855

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Analytics

Added to PP
2011-09-13

Downloads
21 (#540,355)

6 months
1 (#386,001)

Historical graph of downloads
How can I increase my downloads?

References found in this work

Set Theory.Thomas Jech - 1981 - Journal of Symbolic Logic.
Reflecting Stationary Sets and Successors of Singular Cardinals.Saharon Shelah - 1991 - Archive for Mathematical Logic 31 (1):25-53.
Reflecting Stationary Sets.Menachem Magidor - 1982 - Journal of Symbolic Logic 47 (4):755-771.
The Fine Structure of the Constructible Hierarchy.R. Björn Jensen - 1972 - Annals of Mathematical Logic 4 (3):229.

View all 9 references / Add more references

Citations of this work

Knaster and Friends II: The C-Sequence Number.Chris Lambie-Hanson & Assaf Rinot - 2020 - Journal of Mathematical Logic 21 (1):2150002.
Separating Weak Partial Square Principles.John Krueger & Ernest Schimmerling - 2014 - Annals of Pure and Applied Logic 165 (2):609-619.
In Memoriam: James Earl Baumgartner.J. A. Larson - 2017 - Archive for Mathematical Logic 56 (7-8):877-909.
Successive Cardinals with No Partial Square.John Krueger - 2014 - Archive for Mathematical Logic 53 (1-2):11-21.

Add more citations

Similar books and articles

Continuity and the Logic of Perception.John L. Bell - 2000 - Transcendent Philosophy 1 (2):1-7.
Aristotle’s Cubes and Consequential Implication.Claudio Pizzi - 2008 - Logica Universalis 2 (1):143-153.
Infinite Chains and Antichains in Computable Partial Orderings.E. Herrmann - 2001 - Journal of Symbolic Logic 66 (2):923-934.
Solovay Models and Forcing Extensions.Joan Bagaria & Roger Bosch - 2004 - Journal of Symbolic Logic 69 (3):742-766.
An Equiconsistency for Universal Indestructibility.Arthur W. Apter & Grigor Sargsyan - 2010 - Journal of Symbolic Logic 75 (1):314-322.
Why Do College Students Cheat?Mark G. Simkin & Alexander McLeod - 2010 - Journal of Business Ethics 94 (3):441 - 453.