The strenght of the failure of the singular cardinal hypothesis

Annals of Pure and Applied Logic 51 (3):215-240 (1991)
  Copy   BIBTEX

Abstract

We show that o = k++ is necessary for ¬SCH. Together with previous results it provides the exact strenght of ¬SCH

Categories

Keywords

Reprint years

DOI

10.1016/0168-0072(91)90016-f

Links

PhilArchive



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

External links

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

Through your library

My notes

Similar books and articles

Review: Moti Gitik, The Strength of the Failure of the Singular Cardinal Hypothesis. [REVIEW]James Cummings - 1995 - Journal of Symbolic Logic 60 (1):340-340.
The tree property and the failure of SCH at uncountable cofinality.Dima Sinapova - 2012 - Archive for Mathematical Logic 51 (5-6):553-562.
The negation of the singular cardinal hypothesis from o(K)=K++.Moti Gitik - 1989 - Annals of Pure and Applied Logic 43 (3):209-234.
The negation of the singular cardinal hypothesis from< i> o(< i> K_)=< i> K< sup>++.Moti Gitik - 1989 - Annals of Pure and Applied Logic 43 (3):209-234.
ABRAMSKY, S., Domain theory in logical form (l-2) l-77 FARMER, WM, A unification-theoretic method for investigat-ing the k-provability problem (3) 173-214 GITIK, M., The strength of the failure of the Singular Cardinal Hypothesis (3) 215-240. [REVIEW]D. Miller - 1991 - Annals of Pure and Applied Logic 51:301.
Aronszajn trees and failure of the singular cardinal hypothesis.Itay Neeman - 2009 - Journal of Mathematical Logic 9 (1):139-157.
Review: Moti Gitik, Menachem Magidor, The Singular Cardinal Hypothesis Revisited. [REVIEW]James Cummings - 1995 - Journal of Symbolic Logic 60 (1):339-340.
Indiscernible sequences for extenders, and the singular cardinal hypothesis.Moti Gitik & William J. Mitchell - 1996 - Annals of Pure and Applied Logic 82 (3):273-316.
The Proper Forcing Axiom and the Singular Cardinal Hypothesis.Matteo Viale - 2006 - Journal of Symbolic Logic 71 (2):473 - 479.
Approachability at the Second Successor of a Singular Cardinal.Moti Gitik & John Krueger - 2009 - Journal of Symbolic Logic 74 (4):1211 - 1224.
Review: Moti Gitik, The Negation of the Singular Cardinal Hypothesis from $o(kappa) = kappa^{++}$. [REVIEW]W. J. Mitchell - 1991 - Journal of Symbolic Logic 56 (1):344-344.
On a question of Pereira.Moti Gitik - 2008 - Archive for Mathematical Logic 47 (1):53-64.
MRP , tree properties and square principles.Remi Strullu - 2011 - Journal of Symbolic Logic 76 (4):1441-1452.
The consistency strength of choiceless failures of SCH.Arthur W. Apter & Peter Koepke - 2010 - Journal of Symbolic Logic 75 (3):1066-1080.

Analytics

Added to PP
2014-01-16

Downloads
23 (#664,515)

6 months
8 (#342,364)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Aronszajn trees and failure of the singular cardinal hypothesis.Itay Neeman - 2009 - Journal of Mathematical Logic 9 (1):139-157.
Possible values for 2 (aleph n) and 2 (aleph omega).Moti Gitik & Carmi Merimovich - 1997 - Annals of Pure and Applied Logic 90 (1-3):193-241.
Diagonal supercompact Radin forcing.Omer Ben-Neria, Chris Lambie-Hanson & Spencer Unger - 2020 - Annals of Pure and Applied Logic 171 (10):102828.

View all 23 citations / Add more citations

References found in this work

The core model.A. Dodd & R. Jensen - 1981 - Annals of Mathematical Logic 20 (1):43-75.
The negation of the singular cardinal hypothesis from o(K)=K++.Moti Gitik - 1989 - Annals of Pure and Applied Logic 43 (3):209-234.
Shelah's pcf theory and its applications.Maxim R. Burke & Menachem Magidor - 1990 - Annals of Pure and Applied Logic 50 (3):207-254.
Proper Forcing.Saharon Shelah - 1985 - Journal of Symbolic Logic 50 (1):237-239.

View all 6 references / Add more references