2013 seminar talk: Some problems related to Borel ideals: Towers, Luzin-type families, forcing (in)destructibility, and more
Talk held by Barnabas Farkas (KGRC) at the KGRC seminar on 2013-11-07.
Abstract
I will discuss the possible existence of (maximal) towers in Borel ideals. I will prove the following results: Theorem 1. After adding uncountable many Cohen reals, there are towers in every tall Borel P-ideals. Theorem 2 (Brendle). It is consistent that there are no towers in any Borel P-ideals.
Related to Theorem 2, I will show that although we cannot expect more, namely "domination" from $\sigma$-centered forcing notions, the Localization forcing (which is $\sigma$-$n$-linked for every $n$) dominates every Borel P-ideals. Here the reverse implication is still an open problem.
Theorem 2 will lead us to the next natural question, namely the possible existence of so-called idealized Luzin-type families of size $\omega_2$. To obtain such a family (very probably) we need some kind of iterated destruction of the ideal without Cohen reals (at least). I will show that the Random forcing works for the summable ideal but not for the density zero ideal.