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

2023S, 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, insbesondere zum Thema Iterationsbäume, Extender Algebra und divergente Modelle der Determiniertheit.

Inhalt der Lehrveranstaltung

Dies ist ein einführendes Lernseminar zur inneren Modelltheorie. Wir werden Farahs Publikation  „The Extender Algebra and Sigma^2_1-absoluteness“ erarbeiten.

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

Am 1. März findet eine Vorbesprechung statt in welcher die Vortragsthemen verteilt werden. Sie können ihr Interesse an einem bestimmten Thema auch im Vorfeld schon per Email an die LV-Leiterin ankündigen.

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
Mi.12:30 - 14:0008.03.2023 - 28.06.2023 Dissertantenraum, Freihaus, grüner Turm, 8.StockInnere Modelltheorie
AKLOG Innere Modelltheorie Extender Algebra - Einzeltermine
TagDatumZeitOrtBeschreibung
Mi.08.03.202312:30 - 14:00 Dissertantenraum, Freihaus, grüner Turm, 8.StockInnere Modelltheorie
Mi.15.03.202312:30 - 14:00 Dissertantenraum, Freihaus, grüner Turm, 8.StockInnere Modelltheorie
Mi.22.03.202312:30 - 14:00 Dissertantenraum, Freihaus, grüner Turm, 8.StockInnere Modelltheorie
Mi.29.03.202312:30 - 14:00 Dissertantenraum, Freihaus, grüner Turm, 8.StockInnere Modelltheorie
Mi.19.04.202312:30 - 14:00 Dissertantenraum, Freihaus, grüner Turm, 8.StockInnere Modelltheorie
Mi.26.04.202312:30 - 14:00 Dissertantenraum, Freihaus, grüner Turm, 8.StockInnere Modelltheorie
Mi.03.05.202312:30 - 14:00 Dissertantenraum, Freihaus, grüner Turm, 8.StockInnere Modelltheorie
Mi.10.05.202312:30 - 14:00 Dissertantenraum, Freihaus, grüner Turm, 8.StockInnere Modelltheorie
Mi.17.05.202312:30 - 14:00 Dissertantenraum, Freihaus, grüner Turm, 8.StockInnere Modelltheorie
Mi.24.05.202312:30 - 14:00 Dissertantenraum, Freihaus, grüner Turm, 8.StockInnere Modelltheorie
Mi.31.05.202312:30 - 14:00 Dissertantenraum, Freihaus, grüner Turm, 8.StockInnere Modelltheorie
Mi.07.06.202312:30 - 14:00 Dissertantenraum, Freihaus, grüner Turm, 8.StockInnere Modelltheorie
Mi.14.06.202312:30 - 14:00 Dissertantenraum, Freihaus, grüner Turm, 8.StockInnere Modelltheorie
Mi.21.06.202312:30 - 14:00 Dissertantenraum, Freihaus, grüner Turm, 8.StockInnere Modelltheorie
Mi.28.06.202312:30 - 14:00 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

StudienkennzahlVerbindlichkeitSemesterAnm.Bed.Info
860 GW Gebundene Wahlfächer - Technische Mathematik Keine Angabe

Literatur

Es wird kein Skriptum zur Lehrveranstaltung angeboten.

Vorkenntnisse

Grundkenntnisse der Mengenlehre.

Sprache

Englisch