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

• Applicant: Professor Dr. Peter Koepke
• Subject Area: Mathematics
• Term: from 2000 to 2003
• Project identifier: Deutsche Forschungsgemeinschaft (DFG) - Project number 5231094

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.

• DFG Programme: Research Grants