<?xml version="1.0" encoding="UTF-8"?>

<record version="11" id="1184">
 <title>generalized continuum hypothesis</title>
 <name>GeneralizedContinuumHypothesis</name>
 <created>2002-01-03 17:04:10</created>
 <modified>2004-04-02 07:39:44</modified>
 <type>Axiom</type>
 <creator id="2760" name="yark"/>
 <author id="2760" name="yark"/>
 <author id="27" name="Evandar"/>
 <classification>
	<category scheme="msc" code="03E50"/>
 </classification>
 <synonyms>
	<synonym concept="generalized continuum hypothesis" alias="generalised continuum hypothesis"/>
	<synonym concept="generalized continuum hypothesis" alias="GCH"/>
 </synonyms>
 <related>
	<object name="AlephNumbers"/>
	<object name="BethNumbers"/>
	<object name="ContinuumHypothesis"/>
	<object name="Cardinality"/>
	<object name="CardinalExponentiationUnderGCH"/>
	<object name="ZermeloFraenkelAxioms"/>
 </related>
 <keywords>
	<term>cardinality</term>
	<term>cardinal</term>
 </keywords>
 <preamble>\usepackage{amssymb}
\usepackage{amsmath}
\usepackage{amsfonts}
%\usepackage{graphicx}
%\usepackage{xypic}</preamble>
 <content>\PMlinkescapeword{equivalent}
\PMlinkescapeword{independent}
\PMlinkescapeword{states}

The \emph{generalized continuum hypothesis} states that for any infinite cardinal $\lambda$ there is no cardinal $\kappa$ such that $\lambda &lt;\kappa &lt;2^{\lambda}$.

An equivalent condition is that $\aleph_{\alpha+1}=2^{\aleph_\alpha}$ for every ordinal $\alpha$.
Another equivalent condition is that $\aleph_\alpha=\beth_\alpha$ for every ordinal $\alpha$.

Like the continuum hypothesis, the generalized continuum hypothesis is known to be independent of the axioms of ZFC.</content>
</record>
