A definable failure of the singular cardinal hypothesis
type: Item
instance of: scholarly article
title: A definable failure of the singular cardinal hypothesis
zbMATH Open document ID: 1300.03028
published in: Israel Journal of Mathematics
publication date: 2013-02-07T00:00:00Z
review text: The authors make good on what the title of the paper promises: a model in which \(\aleph_\omega\) is a strong limit, \(2^{\aleph_\omega}>\aleph_{\omega+1}\), and \(H(\aleph_{\omega+1})\) has a (lightface) definable wellorder. The method used is to create a similar situation at a measurable cardinal and then collapse this measurable to~\(\aleph_\omega\), while preserving the statements above.
reviewed by: K. P. Hart
Mathematics Subject Classification ID: 03E35
Mathematics Subject Classification ID: 03E45
Mathematics Subject Classification ID: 03E55
zbMATH DE Number: 6135115
zbMATH Keywords: singular cardinal hypothesis
zbMATH Keywords: measurable cardinal
zbMATH Keywords: strong cardinal
author: Sy-David Friedman
author: Radek Honzík
MaRDI profile type: Publication
full work available at URL: s11856-012-0044-x
OpenAlex ID: W2040355300
cites work: Large cardinals and locally defined well-orders of the universe
cites work: Iterated Forcing and Elementary Embeddings
cites work: The consistency strength of the tree property at the double successor of a measurable cardina
cites work: Cardinal characteristics and projective wellorders
cites work: Projective wellorders and mad families with large continuum
cites work: The generalized continuum hypothesis can fail everywhere
cites work: Easton's theorem and large cardinals
cites work: The number of normal measures
cites work: Perfect trees and elementary embeddings
cites work: Measurable cardinals and the cofinality of the symmetric group
cites work: The negation of the singular cardinal hypothesis from \(o(\kappa)=\kappa ^{++}\)
cites work: Prikry-Type Forcings
cites work: Long projective wellorderings
cites work: Global singularization and the failure of SCH
cites work: Set Theory
cites work: Perfect-set forcing for uncountable cardinals
cites work: Q4805123
cites work: On the singular cardinals problem. I
cites work: The core model for sequences of measures. I
cites work: Q4291791
cites work: Q4375363
DOI: 10.1007/S11856-012-0044-X
Recommended article: The strength of the failure of the singular cardinal hypothesis
Recommended article: On the Singular Cardinal Hypothesis
Recommended article: Q4694295
Recommended article: Violating the singular cardinals hypothesis without large cardinals
Recommended article: The ineffable tree property and failure of the singular cardinals hypothesis
Recommended article: ARONSZAJN TREES AND FAILURE OF THE SINGULAR CARDINAL HYPOTHESIS
Recommended article: Q4934560
Recommended article: The proper forcing axiom and the singular cardinal hypothesis
Recommended article: A Topological Equivalence of the Singular Cardinals Hypothesis
Recommended article: The Definability of Cardinal Numbers
description: scientific article; zbMATH DE number 6135115