Long extenders, Varsovian models, Combinatorics

• Applicant: Professor Farmer Schlutzenberg, Ph.D.
• Subject Area: Mathematics
• Term: from 2020 to 2024
• Project identifier: Deutsche Forschungsgemeinschaft (DFG) - Project number 445387776

• Final Report Year: 2025

No abstract available

Publications

• 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