Easton's theorem

GPTKB entity

Statements (15)
Predicate Object
gptkbp:instanceOf gptkb:mathematical_concept
gptkbp:assumes gptkb:ZFC
gptkbp:concerns cardinal exponentiation
regular cardinals
gptkbp:field gptkb:set_theory
https://www.w3.org/2000/01/rdf-schema#label Easton's theorem
gptkbp:namedAfter William B. Easton
gptkbp:provenBy possible behaviors of the continuum function at regular cardinals
gptkbp:publicationYear 1970
gptkbp:publishedIn gptkb:Annals_of_Mathematical_Logic
gptkbp:relatedTo gptkb:Generalized_Continuum_Hypothesis
forcing
gptkbp:shows any monotonic function on regular cardinals can be realized as the continuum function, subject to certain constraints
gptkbp:bfsParent gptkb:Cohen's_forcing
gptkbp:bfsLayer 5