Silver trees and Cohen reals (Q273112)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Silver trees and Cohen reals
scientific article

    Statements

    Silver trees and Cohen reals (English)
    0 references
    0 references
    21 April 2016
    0 references
    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.
    0 references
    0 references
    Silver tree
    0 references
    Mycielski ideal
    0 references
    meager ideal
    0 references
    Tukey reducibility
    0 references

    Identifiers