Thematic
Forcing
The method of forcing was introduced by Paul J. Cohen in order to prove the independence of the axiom of choice (AC) from the basic (ZF) axioms of ...
Search Results 1 - 3 of 3. Results contain 20 matches
Thematic
Set theory
In the late nineteenth century, Georg Cantor created mathematical theories, first of sets or aggregates of real numbers (or linear points), and later of sets or aggregates of ...
Thematic
The constructible universe
the ‘universe’ of constructible sets was introduced by Kurt Gödel in order to prove the consistency of the axiom of choice (AC) and the continuum hypothesis (CH) with ...