Premium
Local weak presaturation of the strongly non‐stationary ideal
Author(s) -
Shioya Masahiro,
Yamaura Naoki
Publication year - 2020
Publication title -
mathematical logic quarterly
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.473
H-Index - 28
eISSN - 1521-3870
pISSN - 0942-5616
DOI - 10.1002/malq.201900033
Subject(s) - uncountable set , successor cardinal , mathematics , ideal (ethics) , forcing (mathematics) , extension (predicate logic) , set (abstract data type) , combinatorics , regular cardinal , pure mathematics , discrete mathematics , mathematical economics , mathematical analysis , countable set , epistemology , philosophy , computer science , programming language
We give a model of set theory in which the strongly non‐stationary ideal over℘ μ μ is weakly presaturated below some canonical set. Here μ is a regular uncountable cardinal. The model is the forcing extension with the Lévy collapse of a Woodin cardinal to the successor of μ. This improves on results of Goldring and of the first author.