Chang model; derived models; Determinacy; inner model theory; supercompact measures
en
Project title:
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)
-
Project (external):
NCN, Poland
-
Project ID:
UMO-2021/03/Y/ST1/00281
-
Research Areas:
Logic and Computation: 30% Fundamental Mathematics Research: 70%