singular cardinals hypothesis

singular cardinals hypothesis
Name	Singular cardinals hypothesis
Field	Set theory
Introduced	20th century
Notable	Paul Cohen, Kurt Gödel, Dana Scott, Abraham Robinson, Solomon Feferman

singular cardinals hypothesis

The singular cardinals hypothesis is a central conjecture in set theory about the behavior of the continuum function at singular cardinals, connecting ideas from cardinal arithmetic, large cardinal axioms, and forcing. It asserts a specific pattern for powers of singular strong limit cardinals and has driven major developments involving figures such as Kurt Gödel, Paul Cohen, Saharon Shelah, Ronald Jensen, and institutions like the Institute for Advanced Study and the Mathematical Institute, Oxford. The hypothesis interacts with results from Gödel, Cohen, and Easton through deep combinatorial and inner model techniques.

Introduction

The hypothesis concerns singular cardinals, notably singular strong limit cardinals such as limits of alephs where cofinality differs from cardinality. Investigations by Kurt Gödel, Paul Cohen, Saharon Shelah, William Mitchell, and Hugh Woodin tied the hypothesis to major programs in descriptive set theory, inner model theory, and large cardinals like measurable cardinal, supercompact cardinal, and huge cardinal. Seminal venues include conferences at the Institute for Advanced Study, symposia honoring John von Neumann, and proceedings edited by Serge Lang and Paul Halmos.

Statement and definitions

Formally the expectation—attributed historically to research influenced by Gödel and Cohen—is that for a singular cardinal κ which is a strong limit, 2^κ = κ^+. Definitions use notions from Alephs and cofinality: κ is singular if its cofinality cf(κ) < κ; κ is a strong limit if for all λ < κ one has 2^λ < κ. Cardinal arithmetic statements appeal to combinatorial principles studied by Donald Knuth in combinatorics contexts and by Dana Scott and Azriel Levy in model-theoretic frameworks. The statement is sometimes expressed in terms developed by William Easton in his work on the powerset function under GCH-style constraints.

Historical development and key results

Early groundwork by Kurt Gödel and Paul Cohen established independence phenomena for the continuum. Easton proved wide freedom for the continuum function at regular cardinals, while obstacles at singular cardinals led to the hypothesis focus. Silver proved a pivotal theorem showing that if κ is a singular cardinal of uncountable cofinality and 2^λ = λ^+ for all λ < κ then 2^κ = κ^+, connecting to work by Jack Silver, Robert Solovay, and Dana Scott. Saharon Shelah developed singular cardinal combinatorics and proved deep results—often called Shelah’s pcf theory—refining earlier work by Ronald Jensen and William Mitchell. Conferences and volumes edited by Paul Cohen, Kenneth Kunen, Akihiro Kanamori, and Hugh Woodin recount milestone results.

Relations to other set-theoretic hypotheses

The hypothesis relates to GCH, as it can be seen as a constraint on failures of GCH at singular cardinals, linking to Martin’s Axiom via consistency arguments by Donald A. Martin and Jech. Interactions with Square principles studied by Ralph Jensen and Ronald Jensen and with Diamond principle analyzed by Paul Cohen-era researchers show deep combinatorial cross-dependencies. Connections to large cardinal axioms—measurable cardinal, supercompact cardinal, Woodin cardinal, and strongly compact cardinal—feature in consistency proofs by Mitchell, Solovay, Magidor, and Saharon Shelah. Results about singular cardinals also intersect with descriptive set-theoretic consequences explored by Yiannis N. Moschovakis and Alexander S. Kechris in their work on determinacy axioms.

Consistency and independence results

Following Cohen’s method of forcing, many independence results show the hypothesis is not decidable in ZFC alone. Easton demonstrated freedom at regular cardinals, while Silver and Galvin constrained possibilities at singulars. Shelah produced consistency results using pcf theory and iterated forcing, often employing large cardinal assumptions investigated by Solovay and Magidor. Hugh Woodin’s work on determinacy and inner models yields further independence and relative consistency statements, with contributions from Joel Hamkins and Justin Moore. Prominent models include those developed by Gödel (the constructible universe L), forcing extensions by Cohen, and inner models built by Jensen and Mitchell.

Applications and consequences

Consequences of the hypothesis influence cardinal arithmetic, structure theory for abelian groups and modules studied by Paul Eklof and Alan Mekler, and combinatorial set theory worked on by Kenneth Kunen and Saharon Shelah. It affects combinatorial principles like ladder systems used in constructions by Abraham Robinson-era model theorists and has implications for model existence theorems in model theory communities around Dana Scott and Michael Morley. Connections extend to topology through cardinal invariants of Stone–Čech spaces investigated by Mary Ellen Rudin and Arnold Miller, and to measure theory via nonmeasurable sets analyzed by Stefan Banach-influenced research.

Proof techniques and major proofs

Major proofs combine forcing techniques developed by Paul Cohen and refined by Kenneth Kunen, inner model theory originated by Kurt Gödel and Ronald Jensen, and pcf theory pioneered by Saharon Shelah. Iterated forcing, large cardinal embeddings as used by Richard Laver and Menachem Magidor, and combinatorial principles from Jensen’s fine-structural analysis are central. Key theorems by Jack Silver and Saharon Shelah use delicate combinatorial constructions and core model analysis attributed in expository accounts by Akihiro Kanamori and W. Hugh Woodin.

Category:Set theory