Chang’s Conjecture and weak square

Archive for Mathematical Logic 52 (1-2):29-45 (2013)
  Copy   BIBTEX

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 \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\square_{\omega_1, 2}}$$\end{document}, i.e. Chang’s Conjecture is consistent with \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\square_{\omega_1, 2}}$$\end{document}.

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,349

External links

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

Through your library

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.
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 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.
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.
On the strong Martin conjecture.Masanori Itai - 1991 - Journal of Symbolic Logic 56 (3):862-875.

Analytics

Added to PP
2013-10-27

Downloads
56 (#278,942)

6 months
15 (#159,278)

Historical graph of downloads
How can I increase my downloads?

References found in this work

Combinatorial principles in the core model for one Woodin cardinal.Ernest Schimmerling - 1995 - Annals of Pure and Applied Logic 74 (2):153-201.
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 6 references / Add more references