<    1    >

---

局部解决定理

设 S 是一个变量为 x₁, . . . , x_k 的公式系统， T 是一个变量为 x₁, . . . , x_k, . . . , x_n 的公式系统。以下情况是等价的。

(i)	S 的每个实数解都是 T 的部分实数解。
(ii)	S 的每个实数解都是 T 的部分超实数解。
(iii)	S 的每一个超实数解都是 T 的部分超实数解。

 

---

Deutsch   English   Español   Français   Nederlands   Русский