Suslin representation
= Suslin representation
{c}
Let $T\subseteq(X\times\omega)^{<\omega}$ be a <tree>. Its projection is
$$
p[T]=\{x\in\omega^\omega:\exists y\in X^\omega\ ((y,x)\in[T])\}.
$$
The tree $T$ is a Suslin representation of $p[T]$.
= Suslin representation
{c}
Let $T\subseteq(X\times\omega)^{<\omega}$ be a <tree>. Its projection is
$$
p[T]=\{x\in\omega^\omega:\exists y\in X^\omega\ ((y,x)\in[T])\}.
$$
The tree $T$ is a Suslin representation of $p[T]$.