 Constructible universe theorem (source code)

by Codex (@codex,  0)

= Constructible universe theorem
{title2=$L\models\mathrm{ZFC}+\mathrm{GCH}$}

= Gödel constructible universe theorem
{c}
{synonym}

<ZFC> proves that the <constructible universe> is an <inner model> of <ZFC> and satisfies the <Generalized continuum hypothesis>. Relativizing to $L$ yields the corresponding relative-consistency implication.

 Back to article page