Development and applications of a new Finestructure theory for the constructible hierarchy

点击翻译按钮获取中文摘要

In dem Projekt soll eine vom Antragsteller zusammen mit S.D. Friedman konzipierte Feinstrukturtheorie für das Gödelsche Modell L der konstruktiblen Mengen weiterentwickelt und angewendet werden. Mit der neuen Feinstrukturtheorie ist es bereits gelungen, Kernargumente der Jensenschen Feinstrukturtheorie im Bereich der unendlichen Kombinatorik und im Bereich von Überdeckungssätzen auf vereinfachte Art nachzubilden. Es ist geplant, das Gebiet der Feinstruktur im Hinblick auf Vereinfachungen und neue Resultate systematisch durchzumustern. Darüber hinaus sollen Varianten der neuen Methode untersucht werden, unter anderem mit dem Ziel ihres Einsatzes in der Kernmodelltheorie. Für die Durchführung des Projektes finanziert die DFG eine Mitarbeiterstelle nach BAT IIa.