3 papers
math.LO2026
Ultrapowers of determinacy models as iteration trees on HOD
Gabriel Goldberg, Grigor Sargsyan, Benjamin Siskind
In the 1990s, Steel and Woodin showed that under large cardinal hypotheses, the HOD of admits a fine-structural analysis. Although this theorem sheds light on variou…
math.LO2025
The uniqueness of the core model
Benjamin Siskind
The Jensen-Steel core model is a canonical inner model which plays a fundamental role in the meta-mathematics of set theory. Its definition depends on exactly which hierarchy of fi…
math.LO2023
Part 1 of Martin's Conjecture for order-preserving and measure-preserving functions
Patrick Lutz, Benjamin Siskind
Martin's Conjecture is a proposed classification of the definable functions on the Turing degrees. It is usually divided into two parts, the first of which classifies functions whi…