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

Die Axiome der Mengenlehre liefern eine sehr unvollständige Beschreibung des mengentheoretischen Universums V. Vor allem wird die Potenzmengenoperation unzureichend charakterisiert (mit der Folge, daß die Kontinuumshypothese unentscheidbar ist). Deshalb ersetzt man gerne diese "amorphe" Operation durch besser verstandene Operationen, mit deren Hilfe man Mengenbereiche bildet, die formal alle Axiome der Mengenlehre erfüllen. Solche Bereiche nennt man innere Modelle. Sie haben im Gegensatz zu V eine klare innere Struktur und spielen heute eine Schlüsselrolle auf nahezu allen Hauptgebieten der Mengenlehre. In unserem Projekt untersuchen wir die Bedingungen, unter denen gewisse innere Modelle existieren, sowie die kombinatorischen Eigenschaften dieser Modelle. In erster Linie geht es hier um die sogenannten Kernmodelle, die eine absolute Definition haben und - unter gewissen Voraussetzungen - V "fast ausschöpfen".

• DFG-Verfahren: Sachbeihilfen
• Beteiligte Person: Professor Dr. Ronald Björn Jensen