Forcing-Iterationen mit Modellen als Nebenbedingungen

Die Untersuchung des Unendlichen in der Mathematik bekam einen entscheidenden Anstoß von G. Cantor, der zeigte dass es verschiedene Unendlichkeiten gibt und dass man sie mit eins-zu-eins Zuordnung vergleichen kann, so wie man feststellen kann dass ein Korb Äpfel und ein Korb Birnen gleich viele Stücke enthält, ohne sie abzählen zu müssen. Eine frühe Erkenntnis war dass es mehr reelle als natürliche Zahlen gibt, aber zB gleich viele rationale Zahlen (d.h. Bruchzahlen) wie natürliche. Er fragt auch ob die Folgende Aussage, bekannt als Kontinuumshypothese (CH), gilt: Die Menge der reellen Zahlen hat die kleinste Größe die größer ist als die der natürlichen Zahlen. CH war für die Mathematik ein Mysterium bis K. Gödel zeigte, dass CH nicht aus der üblichen Axiomatisierung der mathematik (ZFC) widerlegt werden kann, und P. Cohen dass CH auch nicht aus ZFC bewiesen werden kann. Dafür entwickelte Cohen die Forcing-Methode, die sich auch für viele andere mathematischen Probleme als nützlich erwies. Im Wesentlichen erlaubt Forcing, ein gegebenes mathematisches Universum (d.h. ein ZFC Modell) durch ein generisches Objekt zu einer bestimmten partiellen Ordnung zu erweitern. Damit im Zusammenhang stehen Forcing-Axiome, die besagen dass das Universum bereits ziemlich generische Objekte (für bestimmte Klassen von ordnungen) enthält. Mit solchen Axiomen kann man Strukturen aus partieller bauen, aber bestimmte Einschränkungen verhindern dass wenn die Struktur sehr groß werden soll. 2014 wurde eine neue Methode von I. Neeman entwickelt um dieses harte Problem anzugehen. Forcingaxiome haben wohlbekannte Folgerungen für die Kombinatorik der ersten überabzählbare Kardinalzahl. In diesem Projekt werden wir versuchen, solche Folgerungen auf höhere Kardinalzahlen zu verallgemeinern beziehungsweise zu adaptieren. Dazu werden wir Neemans Method von Fall zu Fall weiterentwickeln, wobei wir einen Zugang von B. Velickovic verwenden. Insbesondere werden wir versuchen, bestimmte kombinatorische Folgen von PFA (einem sehr nützlichen Forcing Axiom) auf die zweite überabzählbare Kardinalzahl zu verallgemeinern; dazu müssen wir zuerst die richtige Formulierung finden und die Methoden für einen Beweis entwickeln.

Wir freuen uns, Ihnen die Ergebnisse unseres jüngsten Projekts vorstellen zu können, das sich mit einigen komplizierten Bereichen der Mathematik befasst hat. Durch unsere Forschungsbemühungen haben wir zu mehreren Artikeln beigetragen, die in angesehenen Zeitschriften und Konferenzberichten veröffentlicht wurden. Das Thema des Projekts ist im Wesentlichen G. Cantors berüchtigte Frage, wie viele reelle Zahlen es gibt, und die Forcing Axioms, zusätzliche Axiome für die Mathematik, die viele Probleme lösen können, die durch traditionelle Axiomatisierungen unentscheidbar bleiben. Es gibt eine metamathematische Frage, wie die Antwort auf Cantors Frage lauten würde. Dank K. Godel und P. Cohen wissen wir heute, dass sie in der Mathematik nicht entscheidbar ist, es handelt sich also um eine metamathematische Frage. Ein solider Ansatz hierfür sind Zwangsaxiome, die stark genug sind, um bestimmte Probleme zu entscheiden, die unentscheidbar bleiben. Die Zwangsaxiome widerlegen in der Regel Cantors ursprüngliche Vermutung und sind manchmal in der Lage, genau die Anzahl der Punkte auf der reellen Linie zu bestimmen. Eine unserer wichtigsten Arbeiten, die in den Proceedings of the American Mathematical Society veröffentlicht wurde, bietet eine neue Perspektive auf ein mathematisches Axiom namens Proper Forcing Axiom (PFA). Das Papier stellt eine neue Idee vor, die mit dem PFA zusammenhängt, und präsentiert einen neuartigen Beweis für eine seiner Konsequenzen, das Mapping-Reflection-Prinzip, das insbesondere impliziert, dass es genau eine Unendlichkeit zwischen der Größe der natürlichen Zahlen und der der reellen Zahlen gibt. Diese Konsequenz hat wichtige Auswirkungen auf das Verständnis komplexer mathematischer Strukturen von der Größe der ersten unabzählbaren Unendlichkeit, insbesondere wenn es um das Cantor-Kontinuumsproblem geht. In einer weiteren Arbeit, die im Journal of Symbolic Logic veröffentlicht wurde, befassen wir uns mit einer anspruchsvollen und sehr technischen Frage, die uns ein Kollege gestellt hat. Unsere Ergebnisse geben Aufschluss darüber, wie man bestimmte mathematische Strukturen unzerstörbar machen kann, selbst in Szenarien, in denen traditionelle Methoden versagen. Dies zeigt, wie wichtig es ist, alternative Forschungsansätze in der mathematischen Logik in Betracht zu ziehen, da sie zu unerwarteten Durchbrüchen führen können. Übersetzt mit www.DeepL.com/Translator (kostenlose Version)