Hypothesis: HR 0: \(0 = 0\).
Conclusion: HR 194:
\(C(\varPi^1_2)\) or \(AC(\varPi^1_2)\): If \(P\in \omega\times{}^{\omega}\omega\), \(P\) has domain \(\omega\), and \(P\) is in \(\varPi^1_2\), then there is a sequence of elements \(\langle x_{k}: k\in\omega\rangle\) of \({}^{\omega}\omega\) with \(\langle k,x_{k}\rangle \in P\) for all \(k\in\omega\). Kanovei [1979].
List of models where hypothesis is true and the conclusion is false:
| Name | Statement |
|---|---|
| \(\cal M41\) Kanovei's Model III | Let \(\Bbb P\) be the set of conditions from the model in <a href="/excerpts/Jensen-1968">Jensen [1968]</a> |
Code: 3
Comments: