10 citations · 21 across the 16 of their papers we have counts for
Showing 2020Show all
3 papers · 1 filter
math.LO2020
Forcing axioms and the complexity of non-stationary ideals
Sean Cox, Philipp Lücke
We study the influence of strong forcing axioms on the complexity of the non-stationary ideal on and its restrictions to certain cofinalities. Our main result shows that the…
math.LO2020★ 2 cited
Closure properties of measurable ultrapowers
Philipp Lücke, Sandra Müller
We study closure properties of measurable ultrapowers with respect to Hamkin's notion of "freshness" and show that the extent of these properties highly depends on the combinatoria…
math.LO2020★ 1 cited
Small models, large cardinals, and induced ideals
Peter Holy, Philipp Lücke
We show that many large cardinal notions up to measurability can be characterized through the existence of certain filters for small models of set theory. This correspondence will…