3 papers
math.LO2021
Mathias and Silver forcing parametrized by density
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 cardina…
math.LO2020
More on trees and Cohen reals
Giorgio Laguzzi, Brendan Stuber-Rousselle
In this paper we analyse some questions concerning trees on , both for the countable and the uncountable case, and the connections with Cohen reals. In particular, we provide a…
math.LO2020
On splitting trees
Giorgio Laguzzi, Heike Mildenberger, Brendan Stuber-Rousselle
We investigate two variants of splitting tree forcing, their ideals and regularity properties. We prove connections with other well-known notions, such as Lebesgue measurablility,…