Form equivalence class Howard-Rubin Number: 0
Statement:
\(DC(\boldsymbol\Sigma^1_2)\): If \(P \subseteq{}^{\omega}\omega\times{}^{\omega}\omega\) and \(P\) has domain \({}^{\omega}\omega\),\(P \in\boldsymbol\Sigma^1_2\), then for any \(y\in {}^{\omega}\omega\)there is a sequence \(\langle x_{k}: k\in\omega\rangle\) of elements of\({}^{\omega }\omega\) with \(x_{0}=y\) and \(\langle x_k,x_{k+1}\rangle \in P\) for all \(k \in\omega \). Kanovei [1979].
Howard-Rubin number: 0 X
Citations (articles):
Connections (notes):
Note [61]
Kanovei [1979] studies the
relationships between \(AC(K)\) and \(DC(K)\)
References (books):
Back