Quantum redactiones paginae "Theorema Posner–Robinson" differant
Content deleted Content added
Linea 20:
:::'''Lemma.''' (''de conis vitandis'') Sit collectio non vacua <math>\mathcal{A}</math> ut <math>X\in\mathcal{A}\iff\forall n\,\theta(n,X\vert n)</math>, in quo <math>\theta\in\Delta_0</math> (vide pagina de [[hierarchia arithmetica]]). Sit <math>D\not\le_T\mathbf{0}</math>. Tum est <math>G\in\mathcal{A}</math> ut <math>G\not\ge_T D</math>.
::Ergo, sit <math>\bar D=B</math>, tum est <math>\bar Z\in\mathcal{Z}</math> ut <math>\bar Z\not\ge_T B</math>, id est, <math>B\not\in\bar Z</math>. Igitur sit <math>\Phi_{p+1}=\Phi_p\cup\{(p,0,B)\}</math> et <math>\bar X_{p+1}:=\bar X_p\cup\bar Z</math>.
Nunc tota serie facta habemus <math>\Phi</math> ut <math>\Phi(B)=\Phi^\prime</math>. Ergo <math>\Phi\oplus B\
== Significatio ==
| |||