Nach positiver Absolvierung der Lehrveranstaltung sind Studierende in der Lage...
Lernergebnisse:
Nach erfolgreicher Absolvierung der LVA haben die Studerenden die im Lehrinhalte erwähnten Begriffe soweit verstanden, dass sie die Begriffe selbst und die Zusammenhänge zwischen ihnen erklären können, zumindest die wichtigsten Punkte der vorgetragenen Beweise skizzieren können und insbesondere in einfachen Spezialfällen beweisen können, dass gewisse Formeln "erzwungen" werden.
ZFC-Modelle, Absolutheit von Formeln, partielle Ordungen und vollständige Boolesche Algebren als Forcing-Begriffe, Unabhängigkeit der Kontinuumshypothese. Weitere Themen je nach Interesse der Hörer (mw) und nach verfügbarer Zeit: Iteriertes Forcing, das Martinsche Axiom, das Solovay-Modell.
Der Vortragende trägt vor (ja wirklich), stellt bei Bedarf Texte zur Verfügung, beantwortet Fragen des Publikums und stellt gelegentlich selbst Fragen um besseres Feedback zu bekommen.
Die VO wird voraussichtlich via zoom gehalten.
Bitte melden Sie sich in den tuwel-Kurs zur VO an. Das zoom-link wird via tuwel bekannt gegeben, ebenso auch weitere Informationen zum Ablauf. Den Termin legen wir in einer Vorbesprechung am Freitag 5.3 um 12:00 fest.
mündliche Prüfung, Termin nach Vereinbarung.
Nicht erforderlich
Grundkenntnisse der mathematischen Logik: prädikatenlogische Sprache, Semantik von Formeln. Die ZFC-Axiome werden in der VO präsentiert, aber Kenntnis dieser Axiome im vorhin ist sehr hilfreich.