Silver trees and Cohen reals (Q273112): Difference between revisions

A tree \(p \subseteq 2^{<\omega}\) is a Silver tree if there exists a cofinite set \(a \subseteq \omega\) and a function \(x : a \rightarrow 2\) such that \(p = \{ \nu \in 2^{<\omega} : \forall n \in |\nu| \cap a (\nu(n) = x(n))\}\). The set of all Silver trees \(\mathrm{Si}\) with respect to \(\supseteq\) is the Silver forcing. The Silver ideal \(J(\mathrm{Si})\) (also called Mycielski ideal) is associated with \(\mathrm{Si}\). A partially ordered set \(P\) is Tukey reducible to a partially ordered set \(Q\) if there exists a map \(\varphi : P \rightarrow Q\) such that for every unbounded \(X \subseteq P\), \(\varphi[X]\) is unbounded in \(Q\). Here, the author shows that the meager ideal \(\mathcal{M}\) is Tukey reducible to the Mycielski ideal. This implies that add\((J(\mathrm{Si})) \leq\) add\((\mathcal{M})\) and answers a question of Laguzzi and others.