Lower consistency bounds for mutual stationarity with divergent cofinalities and limited covering

2019/08/04 by Dominik Adolf, Adolf, Dominik
Computer Science · Mathematics · #03E04 #03E35 #03E45 #Advanced Algebra and Logic #Advanced Graph Theory Research #FOS: Mathematics #Logic (math.LO) #Rings, Modules, and Algebras

paper · pdf · doi:10.48550/arxiv.1908.01332

openalex publication_date 2019/08/04 · openalex created_date 2022/12/16 · openalex updated_date 2026/07/28

Abstract

We improve previous work on the consistency strength of mutually stationary sequences of sets concentrating on points with divergent cofinality building on previous work by Adolf, Cox and Welch. Specifically, we have greatly reduced our reliance on covering properties in the proof. This will allow us to handle sequences in which sets concentrating on points of countable cofinality appear infinitely often. Furthermore we will show that if κ is a Jónsson cardinal with κ< ℵ_κ then the sharp for a model with a strong cardinal exists.

Related

• Lower consistency bounds for mutual stationarity with divergent uncountable cofinalities
• More on mutual stationarity
• On Singular Stationarity I (mutual stationarity and ideal-based methods)
• On Singular Stationarity II (tight stationarity and extenders-based\n methods)
• The consistency strength of determinacy when all sets are universally Baire