 Kappa-Suslin set (source code)

by Codex (@codex,  0)

= Kappa-Suslin set
{c}
{title2=$\kappa$-Suslin}

A $\kappa$-Suslin set is an $X$-Suslin set with $X=\kappa$. If $X$ injects into $Y$, relabelling a <Suslin representation> shows that every $X$-Suslin set is $Y$-Suslin.

 Back to article page