2025/01/23 by Benjamin Siskind, Siskind, Benjamin
Computer Science · Mathematics · #Advanced Algebra and Logic #Advanced Topology and Set Theory #FOS: Mathematics #Logic (math.LO) #Mathematical and Theoretical Analysis
paper · pdf · doi:10.48550/arxiv.2501.14076
openalex publication_date 2025/01/23 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
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 fine-structural models of set theory, premice, one uses. Each such hierarchy involves somewhat arbitrary decisions and working with different hierarchies ostensibly leads to different versions of the core model. We show that in some contexts, abstract properties of the core model uniquely determine it; that is, there is at most one inner model with these properties.