Archive for Mathematical Logic 52 (1-2):29-45 (2013)
| Abstract |
We investigate how weak square principles are denied by Chang’s Conjecture and its generalizations. Among other things we prove that Chang’s Conjecture does not imply the failure of ${\square_{\omega_1, 2}}$ , i.e. Chang’s Conjecture is consistent with ${\square_{\omega_1, 2}}$
|
| Keywords | Chang’s Conjecture Square principle Large cardinal Consistency |
| Categories | (categorize this paper) |
| ISBN(s) | |
| DOI | 10.1007/s00153-012-0305-8 |
| Options |
Mark as duplicate
Export citation
Request removal from index
|
Download options
PhilArchive copy
Upload a copy of this paper Check publisher's policy Papers currently archived: 59,848
External links
- From the Publisher via CrossRef (no proxy)
- link.springer.com
(no proxy) - link.springer.com [2] (no proxy)
- kobe-u.ac.jp (no proxy)
Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library
- Sign in / register and customize your OpenURL resolver..
- Configure custom resolver
References found in this work BETA
Combinatorial Principles in the Core Model for One Woodin Cardinal.Ernest Schimmerling - 1995 - Annals of Pure and Applied Logic 74 (2):153-201.
The Fine Structure of the Constructible Hierarchy.R. Björn Jensen - 1972 - Annals of Mathematical Logic 4 (3):229.
Conjectures of Rado and Chang and Special Aronszajn Trees.Stevo Todorčević & Víctor Torres Pérez - 2012 - Mathematical Logic Quarterly 58 (4):342-347.
Conjectures of Rado and Chang and Special Aronszajn Trees.Stevo Todorčević & Víctor Torres Pérez - 2012 - Mathematical Logic Quarterly 58 (4-5):342-347.
View all 6 references / Add more references
Citations of this work BETA
Aronszajn Trees, Square Principles, and Stationary Reflection.Chris Lambie-Hanson - 2017 - Mathematical Logic Quarterly 63 (3-4):265-281.
Two Applications of Finite Side Conditions at Omega _2.Itay Neeman - 2017 - Archive for Mathematical Logic 56 (7-8):983-1036.
Two Upper Bounds on Consistency Strength of $Negsquare{Aleph_{Omega}}$ and Stationary Set Reflection at Two Successive $Aleph{N}$.Martin Zeman - 2017 - Notre Dame Journal of Formal Logic 58 (3):409-432.
Chang’s Conjecture with $$square {omega _1, 2}$$ □ ω 1, 2 from an $$omega 1$$ ω 1 -Erdős cardinal.Itay Neeman & John Susice - 2020 - Archive for Mathematical Logic 59 (7-8):893-904.
Chang’s Conjecture with $$Square {Omega _1, 2}$$ □ Ω 1, 2 From an $$Omega 1$$ Ω 1 -Erdős Cardinal.Itay Neeman & John Susice - 2020 - Archive for Mathematical Logic 59 (7-8):893-904.
View all 7 citations / Add more citations
Similar books and articles
"Weak" Cosmic Censorship.Robert M. Wald - 1992 - PSA: Proceedings of the Biennial Meeting of the Philosophy of Science Association 1992:181 - 190.
Bounded Martin's Maximum, Weak [Image] Cardinals, and [Image].David Asperó & Philip D. Welch - 2002 - Journal of Symbolic Logic 67 (3):1141 - 1152.
Saturated Models of Peano Arithmetic.J. F. Pabion - 1982 - Journal of Symbolic Logic 47 (3):625-637.
Consistency Strength of Higher Chang’s Conjecture, Without CH.Sean D. Cox - 2011 - Archive for Mathematical Logic 50 (7-8):759-775.
Chang's Conjecture and Powers of Singular Cardinals.Menachem Magidor - 1977 - Journal of Symbolic Logic 42 (2):272-276.
Chang's Conjecture and the Non-Stationary Ideal.Daniel Evan Seabold - 2001 - Journal of Symbolic Logic 66 (1):144-170.
A Conjecture on Einstein, the Independent Reality of Spacetime Coordinate Systems and the Disaster of 1913.John D. Norton - 2005 - In .
A Very Weak Square Principle.Matthew Foreman & Menachem Magidor - 1997 - Journal of Symbolic Logic 62 (1):175-196.
A Finite Family Weak Square Principle.Ernest Schimmerling - 1999 - Journal of Symbolic Logic 64 (3):1087-1110.
Weak Compactness and Square Bracket Partition Relations.E. M. Kleinberg & R. A. Shore - 1972 - Journal of Symbolic Logic 37 (4):673-676.
The Equivalence of the Disjunction and Existence Properties for Modal Arithmetic.Harvey Friedman & Michael Sheard - 1989 - Journal of Symbolic Logic 54 (4):1456-1459.
A Refutation of Pure Conjecture.Timothy Cleveland - 1997 - Journal for General Philosophy of Science / Zeitschrift für Allgemeine Wissenschaftstheorie 28 (1):55-81.
A Question About Suslin Trees and the Weak Square Hierarchy.Ernest Schimmerling - 2005 - Notre Dame Journal of Formal Logic 46 (3):373-374.
A Relative of the Approachability Ideal, Diamond and Non-Saturation.Assaf Rinot - 2010 - Journal of Symbolic Logic 75 (3):1035-1065.
Analytics
Added to PP index
2013-10-27
Total views
39 ( #267,612 of 2,432,824 )
Recent downloads (6 months)
1 ( #464,144 of 2,432,824 )
2013-10-27
Total views
39 ( #267,612 of 2,432,824 )
Recent downloads (6 months)
1 ( #464,144 of 2,432,824 )
How can I increase my downloads?
Downloads
