Untersuchung der inneren Modelle, insbesondere der Kernmodelle. Untersuchung der Bedingungen, die für die Existenz des Kernmodells erforderlich sind.

Applicant Professor Dr. Andreas Baudisch
Subject Area Mathematics
Term from 2000 to 2006
Project identifier Deutsche Forschungsgemeinschaft (DFG) - Project number 5278638
 

Final Report

Final Report Year 2006

Final Report Abstract

Das Projekt ist in der Mengenlehre einem Teilgebiet der Mathematischen Logik angesiedelt. Die Ergebnisse sind in der Dissertation von Herrn F. Cardenas "Higher Gap Morasses" dargestellt. Es wird erstmalig ein vollständiger Beweis der Existenz einer generischen Erweiterung von ZFC gegeben, in der ein (K, 2)-"simplified morass" existiert. Ausgangspunkt ist eine Arbeit von Velleman. Der neue Beweis hat weiterhin den Vorteil, daß er sich wahrscheinlich auf die Konstruktion von (K, n)-" simplified morasses" (n > 2) in geeigneten generischen Erweiterungen von ZFC ausdehnen läßt. Dies ist eine Aufgabe für die weitere Forschung.

DFG Programme Research Grants
Participating Person Professor Dr. Ronald Björn Jensen