Mathias and Silver forcing parametrized by density

11 Feb 2021 Giorgio Laguzzi Heike Mildenberger Brendan Stuber-Rousselle

We define and investigate versions of Silver and Mathias forcing with respect to lower and upper density. We focus on properness, Axiom A, chain conditions, preservation of cardinals and adding Cohen reals... (read more)

PDF Abstract
No code implementations yet. Submit your code now