In the first week of April 2018 I will visited the Mathematical Logic group of Turin and gave a 2h talk on April 6.

Abstract: Lebesgue introduced a notion of density point of a set of reals and proved that any Borel set of reals has the density property, i.e. it is equal to the set of its density points up to a null set. We introduce alternative definitions of density points in Cantor space (or Baire space) which coincide with the usual definition of density points for the uniform measure on ${}^{\omega}2$ up to a set of measure $0$, and which depend only on the ideal of measure $0$ sets but not on the measure itself. This allows us to define the density property for the ideals associated to tree forcings analogous to the Lebesgue density theorem for the uniform measure on ${}^{\omega}2$. The main results show that among the ideals associated to well-known tree forcings, the density property holds for all such ccc forcings and fails for the remaining forcings. In fact we introduce the notion of being stem-linked and show that every stem-linked tree forcing has the density property.

This is joint work with Philipp Schlicht, David Schrittesser and Thilo Weinert.

Slides are available on request.