Algebra Seminar talk

2023-01-20
Max Scheiderbauer
Gödels konstruierbares Universum und die Kontinuumshypothese

Abstract:
Die Kontinuumshypothese wird bekannterweise nicht von ZFC (den üblichen mengentheoretischen Axiomen) entschieden.

Nach einer Einführung in die axiomatische Mengenlehre, Ordinalzahlen, Definierbarkeit, Absolutheit und Gödels konstruierbare Universum beweise ich, dass die Kontinuumshypothese zumindest nicht widerlegbar in ZF ist.