Quantum redactiones paginae "Theorema Posner–Robinson" differant

Content deleted Content added
No edit summary
No edit summary
Linea 10:
* <math>\bar X_p</math> est copia finita rerum <math>X\in 2^\omega</math>,
in qua serie, si <math>q>p</math>:
* (a) Cuique <math>(xx_q,yy_q,\eta)\in\Phi_q\backslash\Phi_p</math> estet <math>(xx_p,yy_p,\sigma)\in\Phi_p</math> ut, <math>\vert\eta\vert>\vert\sigma\vert</math>,
* (b) <math>\Phi_p\subseteq\Phi_q</math> et <math>\bar X_p\subseteq\bar X_q</math>,
* (c) Cuique <math>X\in\bar X_p</math>, <math>\Phi_q(X)=\Phi_p(X)</math>.