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

• Antragsteller: Professor Dr. Andreas Baudisch
• Fachliche Zuordnung: Mathematik
• Förderung: Förderung von 2000 bis 2006
• Projektkennung: Deutsche Forschungsgemeinschaft (DFG) - Projektnummer 5278638

• Erstellungsjahr: 2006

Zusammenfassung der Projektergebnisse

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.