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

2023W, SE, 2.0h, 3.0EC

Merkmale

  • Semesterwochenstunden: 2.0
  • ECTS: 3.0
  • Typ: SE Seminar
  • Format der Abhaltung: Hybrid

Lernergebnisse

Nach positiver Absolvierung der Lehrveranstaltung sind Studierende in der Lage die technischen Schwierigkeiten im Beweis zu meistern, dass HOD in Modellen der Determiniertheit ein feinstrukturelles Modell ist welches Teile seiner eigenen Iterationsstrategie sieht.

Inhalt der Lehrveranstaltung

Wir arbeiten uns entlang der Publikation "HOD as a Core Model" von John Steel und Hugh Woodin. Dabei liegt der Fokus auf der Analyse von HOD im Modell L(R) unter der Annahme, dass dieses das Axiom der Determiniertheit erfüllt.

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
Fr.13:00 - 15:0006.10.2023 - 19.01.2024 Dissertantenzimmer, Freihaus, grüner Turm, 8.Stock, Raumnr. DA08B19Innere Modelltheorie
AKLOG Innere Modelltheorie HOD Berechnungen - Einzeltermine
TagDatumZeitOrtBeschreibung
Fr.06.10.202313:00 - 15:00 Dissertantenzimmer, Freihaus, grüner Turm, 8.Stock, Raumnr. DA08B19Innere Modelltheorie
Fr.13.10.202313:00 - 15:00 Dissertantenzimmer, Freihaus, grüner Turm, 8.Stock, Raumnr. DA08B19Innere Modelltheorie
Fr.20.10.202313:00 - 15:00 Dissertantenzimmer, Freihaus, grüner Turm, 8.Stock, Raumnr. DA08B19Innere Modelltheorie
Fr.27.10.202313:00 - 15:00 Dissertantenzimmer, Freihaus, grüner Turm, 8.Stock, Raumnr. DA08B19Innere Modelltheorie
Fr.03.11.202313:00 - 15:00 Dissertantenzimmer, Freihaus, grüner Turm, 8.Stock, Raumnr. DA08B19Innere Modelltheorie
Fr.10.11.202313:00 - 15:00 Dissertantenzimmer, Freihaus, grüner Turm, 8.Stock, Raumnr. DA08B19Innere Modelltheorie
Fr.17.11.202313:00 - 15:00 Dissertantenzimmer, Freihaus, grüner Turm, 8.Stock, Raumnr. DA08B19Innere Modelltheorie
Fr.24.11.202313:00 - 15:00 Dissertantenzimmer, Freihaus, grüner Turm, 8.Stock, Raumnr. DA08B19Innere Modelltheorie
Fr.01.12.202313:00 - 15:00 Dissertantenzimmer, Freihaus, grüner Turm, 8.Stock, Raumnr. DA08B19Innere Modelltheorie
Fr.15.12.202313:00 - 15:00 Dissertantenzimmer, Freihaus, grüner Turm, 8.Stock, Raumnr. DA08B19Innere Modelltheorie
Fr.12.01.202413:00 - 15:00 Dissertantenzimmer, Freihaus, grüner Turm, 8.Stock, Raumnr. DA08B19Innere Modelltheorie
Fr.19.01.202413:00 - 15:00 Dissertantenzimmer, Freihaus, grüner Turm, 8.Stock, Raumnr. DA08B19Innere 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 und inneren Modelltheorie.

Weitere Informationen

Sprache

Englisch