Das Student-Self-Service ist auf Grund eines technischen Problems derzeit nur eingeschränkt verfügbar. Wir bitten um Ihr Verständnis.

104.620 AKLOG Innere Modelltheorie
Diese Lehrveranstaltung ist in allen zugeordneten Curricula Teil der STEOP.
Diese Lehrveranstaltung ist in mindestens einem zugeordneten Curriculum Teil der STEOP.

2022W, SE, 2.0h, 3.0EC

Merkmale

  • Semesterwochenstunden: 2.0
  • ECTS: 3.0
  • Typ: SE Seminar
  • Format der Abhaltung: Präsenz

Lernergebnisse

Nach positiver Absolvierung der Lehrveranstaltung sind Studierende in der Lage, grundlegende Literatur in der inneren Modelltheorie zu verstehen. Sie können lineare Iterationen von Ultrapotenzen und Extenders sowie die Grundlagen von Iterationsbäumen und deren Anwendung verstehen. Dieses Seminar ist die ideale Vorbereitung für eine Fortsetzung des Seminars, welche im Sommersemester stattfinden wird.

Inhalt der Lehrveranstaltung

Dies ist ein einführendes Lernseminar zur inneren Modelltheorie. Wir werden Steels Vorlesungsnotizen „An Introduction to Iterated Ultrapowers“ erarbeiten und dabei Maße, Einbettungen, iterierte Ultrapotenzen, Vergleichsiterationen, Extender, lineare Iterationen von Extendern, Iterationsbäume der Länge omega und transfinite Iterationsbäume einführen. Im Anschluss betrachten wir Anwendungen wie Woodins Extenderalgebra und projektive Determiniertheit.

Methoden

Das innere Modelltheorie Seminar ist ein wöchentliches Seminar mit abwechselnden Vortragenden. Die inkludiert Studierende, Gäste sowie Mitglieder des Forschungsbereichs.

Prüfungsmodus

Prüfungsimmanent

Weitere Informationen

Beachten Sie beim Verfassen der Ausarbeitung bitte die Richtlinie der TU Wien zum Umgang mit Plagiaten: Leitfaden zum Umgang mit Plagiaten (PDF)

Vortragende Personen

Institut

LVA Termine

TagZeitDatumOrtBeschreibung
Do.13:00 - 14:3006.10.2022 - 26.01.2023 Dissertantenraum, Freihaus, grüner Turm, 8.StockInnere Modelltheorie
AKLOG Innere Modelltheorie - Einzeltermine
TagDatumZeitOrtBeschreibung
Do.06.10.202213:00 - 14:30 Dissertantenraum, Freihaus, grüner Turm, 8.StockInnere Modelltheorie
Do.13.10.202213:00 - 14:30 Dissertantenraum, Freihaus, grüner Turm, 8.StockInnere Modelltheorie
Do.20.10.202213:00 - 14:30 Dissertantenraum, Freihaus, grüner Turm, 8.StockInnere Modelltheorie
Do.27.10.202213:00 - 14:30 Dissertantenraum, Freihaus, grüner Turm, 8.StockInnere Modelltheorie
Do.03.11.202213:00 - 14:30 Dissertantenraum, Freihaus, grüner Turm, 8.StockInnere Modelltheorie
Do.10.11.202213:00 - 14:30 Dissertantenraum, Freihaus, grüner Turm, 8.StockInnere Modelltheorie
Do.17.11.202213:00 - 14:30 Dissertantenraum, Freihaus, grüner Turm, 8.StockInnere Modelltheorie
Do.24.11.202213:00 - 14:30 Dissertantenraum, Freihaus, grüner Turm, 8.StockInnere Modelltheorie
Do.01.12.202213:00 - 14:30 Dissertantenraum, Freihaus, grüner Turm, 8.StockInnere Modelltheorie
Do.15.12.202213:00 - 14:30 Dissertantenraum, Freihaus, grüner Turm, 8.StockInnere Modelltheorie
Do.22.12.202213:00 - 14:30 Dissertantenraum, Freihaus, grüner Turm, 8.StockInnere Modelltheorie
Do.12.01.202313:00 - 14:30 Dissertantenraum, Freihaus, grüner Turm, 8.StockInnere Modelltheorie
Do.19.01.202313:00 - 14:30 Dissertantenraum, Freihaus, grüner Turm, 8.StockInnere Modelltheorie
Do.26.01.202313:00 - 14:30 Dissertantenraum, Freihaus, grüner Turm, 8.StockInnere Modelltheorie

Leistungsnachweis

Um die Lehrveranstaltung erfolgreich abzuschließen, ist es verpflichtend einen Vortrag zu halten und an den anderen Vorträgen aktiv teilzunehmen. Der oder die Vortragende ist für die Vortragsvorbereitung verantwortlich. Dies bedeutet auch Highlights für den Vortrag aus dem Material auszuwählen. Die Leiterin der Lehrveranstaltung wird sie hierbei unterstützen, sowohl bei wissenschaftlichen als auch bei didaktischen Fragen.

LVA-Anmeldung

Nicht erforderlich

Curricula

StudienkennzahlSemesterAnm.Bed.Info
860 GW Gebundene Wahlfächer - Technische Mathematik

Literatur

Es wird kein Skriptum zur Lehrveranstaltung angeboten.

Vorkenntnisse

Grundkenntnisse der Mengenlehre.

Sprache

Deutsch