Lange Extender, Varsovian Modelle, Kombinatorik

• Antragsteller: Professor Farmer Schlutzenberg, Ph.D.
• Fachliche Zuordnung: Mathematik
• Förderung: Förderung von 2020 bis 2024
• Projektkennung: Deutsche Forschungsgemeinschaft (DFG) - Projektnummer 445387776

• Erstellungsjahr: 2025

Keine Zusammenfassung vorhanden

Projektbezogene Publikationen (Auswahl)

• The initial segment condition for κ+ -supercompactness
  Farmer Schlutzenberg
  
• Local mantles of L[x]
  Farmer Schlutzenberg
  
• Varsovian models ω
  Farmer Schlutzenberg,
  
• On a Conjecture about the Mouse Order on Weasels, 5th Münster conference on inner model theory, Münster
  J. Kruschewski
  
• Full normalization and the ISC for mice with long extenders, From ω to Ω, IMS, Singapore
  F. Schlutzenberg
  
• Mouse scales
  Farmer Schlutzenberg
  
• Σ1 gaps as derived models and correctness of mice
  Farmer Schlutzenberg & John Steel
  
• Analysis of HOD for admissible structures, Determinacy, Inner Models and Forcing Axioms, ESI, Vienna
  J. Kruschewski
  
• Mouse sets and correctness in L(R), Oberwolfach set theory
  F. Schlutzenberg
  
• ON A CONJECTURE REGARDING THE MOUSE ORDER FOR WEASELS. The Journal of Symbolic Logic, 90(1), 364-390.
  KRUSCHEWSKI, JAN & SCHLUTZENBERG, FARMER
  
• Analysis of HOD for admissible structures. Annals of Pure and Applied Logic, 177(8), 103764.
  Kruschewski, Jan & Schlutzenberg, Farmer