< 1 >
Теорема о частичных решениях
Пусть S - система формул с переменными x1, . . . , xk и T - система формул с переменными x1, . . . , xk, . . . , xn. Следующие эквивалентны:
| (i) | Каждое вещественное решение S является вещественным частичным решением T. |
| (ii) | Каждое вещественное решение S является частичным гиперреальным решением T. |
| (iii) | Каждое гиперреальное решение S является частичным гиперреальным решением T. |