In 1938 Gödel published “The Consistency of the Axiom of Choice and of the Generalized Continuum-Hypothesis”. This paper introduces the constructible universe, a so-called inner model of ZFC. This is a class L that satisfies the ZFC axioms, plus GCH, provided that V satisfies the ZF axioms. So if ZF is consistent, then so is ZF+AC+GCH. Continue reading
Recent Comments
Bhupinder Singh Anan… on Set Theory Jottings 29. D… Michael Weiss on Set Theory Jottings 29. D… Bhupinder Singh Anan… on Set Theory Jottings 29. D… Michael Weiss on Aristotle and Falling Obj… hypnosifl on Aristotle and Falling Obj…
Diagonal Argument 