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 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.