Proof — Independence of CH and AC

Statement

Forcing; CH and AC independent of ZF. Proved in ZFC (meta-theorem).

Source

Fields Medal 1966. Forcing; CH and AC independent of ZF. Proved in ZFC (meta-theorem).

Domains

mathematics

People

Related

Explore

Canonical: https://axiom.tanaakk.com/proof/cohen-fields-1966/