Anwendung der Theorie der inneren Modelle auf Fragen der Absolutheit und Korrektheit
Fachliche Zuordnung
Mathematik
Förderung
Förderung von 2006 bis 2011
Projektkennung
Deutsche Forschungsgemeinschaft (DFG) - Projektnummer 33524529
Erstellungsjahr
2011
Keine Zusammenfassung vorhanden
Projektbezogene Publikationen (Auswahl)
-
Increasing u2 by a stationary set preserving forcing, Journal of Symbolic Logic 74 (2009), pp.187-200
Benjamin Claverie und Ralf Schindler
-
Π2 consequences of BMM plus NS is precipitous and the semiproperness of all stationary set preserving forcings, Mathematics Research Letters 16 (2009), no. 5, pp. 797 – 815
Philipp Doebler und Ralf Schindler
-
Ideals, Ideal Extenders, And Forcing Axioms, Dissertation, Universität Münster, 2010
Benjamin Claverie
-
Stationary Set Preserving L–Forcings and the Extender Algebra, Dissertation, Universität Münster, 2010
Philipp Doebler
DFG-Verfahren
Sachbeihilfen