Verallgemeinerte Bairesche Räume - Definierbarkeit und paradoxe Mengen

• Antragsteller: Professor Dr. Ralf Schindler
• Fachliche Zuordnung: Mathematik
• Förderung: Förderung von 2019 bis 2024
• Projektkennung: Deutsche Forschungsgemeinschaft (DFG) - Projektnummer 428519768

• Erstellungsjahr: 2025

Zusammenfassung der Projektergebnisse

Der Beweis von David Asperó und dem Antragssteller, wonach Martins Maximum++ Woodins Pmax-Axiom (*) impliziert, führte eine Forcing-Technik ein, welche die Tür für eine Vielzahl anderer Anwendungen öffnete. Das zentrale neue Resultat dieses Projekts ist, dass in der Gegenwart von Martins Maximum das nichtstationäre Ideal auf ω1 nicht über der Struktur H(ω2) durch eine universelle (d.h. Π1) Formel mit einem Parameter aus H(ω2) definierbar sein kann. Weitere Untersuchungen diskutieren Verallgemeinerungen dieses Ergebnisses sowie die Frage, was Π11 über H(ω2) in der Gegenwart von Forcingaxiomen bedeuten sollte.