Παρουσίαση/Προβολή

(LFM2) -  Costas Dimitracopoulos

Περιγραφή Μαθήματος

Goedel's theory of constructibility and applications (consistency of the axiom of choice and the continuum hypothesis with the Zermelo-Fraenkel axioms). Cohen's forcing and applications (consistency of the negation of the axiom of choice and the continuum hypothesis with the Zermelo-Fraenkel axioms). Large cardinals and correspondence with consistency of theories.

Ημερομηνία δημιουργίας

Τετάρτη 21 Φεβρουαρίου 2024