Chang model; derived models; Determinacy; inner model theory; supercompact measures
en
Projekttitel:
Determiniertheit und Woodin Limes von Woodin Kardinalzahlen: Y1498 (FWF - Österr. Wissenschaftsfonds) Klassifikation abgeleiteter Modelle der Determiniertheit: I6087-N (FWF - Österr. Wissenschaftsfonds) Lange Spiele und Determiniertheit wenn alle Mengen uB sind: V 844-N (FWF - Österr. Wissenschaftsfonds)
-
Projekt (extern):
NCN, Poland
-
Projektnummer:
UMO-2021/03/Y/ST1/00281
-
Forschungsschwerpunkte:
Logic and Computation: 30% Fundamental Mathematics Research: 70%