A universe with no ordinal-definable, stationary, co-stationary subset of ω₁

2017/07/12 by Stefan Hoffelner, Hoffelner, Stefan · 1 citation
Computer Science · Mathematics · #Advanced Topology and Set Theory #Computability, Logic, AI Algorithms #FOS: Mathematics #Logic (math.LO) #Mathematical and Theoretical Analysis

paper · pdf · doi:10.48550/arxiv.1707.03620

openalex publication_date 2017/07/12 · openalex created_date 2022/08/29 · openalex updated_date 2026/07/28

Abstract

It is shown that the existence of a measurable cardinal is equiconsistent to a model of ZFC in which there is no ordinal-definable, stationary, costationary subset of ω₁

Cited by

• Separating Maximality Principles

Related

• A model with no magic sets
• Measurable cardinals and choiceless axioms
• No universal graphs at uncountable regular cardinals
• Incomparable ω₁-like models of set theory
• Maximal models up to the first measurable in ZFC