|
Сибирский математический журнал, 1992, том 33, номер 6, страницы 66–78
(Mi smj1717)
|
|
|
|
О принципе продолжения в теории внутренних множеств
В. Г. Кановей
Аннотация:
Теория внутренних множеств $\mathbf{IST}$ – один из вариантов аксиоматизации нестандартных методов – получается присоединением к аксиомам $\mathbf{ZFC}$ трех дополнительных постулатов (идеализация, стандартизация и перенос), регулирующих свойства предиката стандартности. Вместе с ними часто используется принцип продолжения:
$(E)$ Если $X$, $Y$ – пара стандартных множеств, а $\Phi(x,y)$ – внутреннее или внешнее отношение и ко всякому стандартному $x\in X$ найдется $y\in Y$, удовлетворяющее $\Phi(x,y)$, то имеется функция $\widetilde{y}$, определенная по меньшей мере на всех стандартных $x\in X$ и удовлетворяющая $\widetilde{y}(x)\in Y$ и $\Phi(x,\widetilde{y}(x))$ для всех стандартных $x\in X$.
Главный результат: принцип продолжения $(E)$ неразрешим в теории $\mathbf{IST}$. Таким образом, ссылки на $(E)$ при рассуждениях внутри $\mathbf{IST}$, строго говоря, незаконны.
В качестве промежуточного результата доказана теорема о выражении истинности внутренних формул со стандартными параметрами при помощи одной внешней формулы.
Библиогр. 15.
Статья поступила: 15.05.1991
Образец цитирования:
В. Г. Кановей, “О принципе продолжения в теории внутренних множеств”, Сиб. матем. журн., 33:6 (1992), 66–78; Siberian Math. J., 33:6 (1992), 999–1010
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/smj1717 https://www.mathnet.ru/rus/smj/v33/i6/p66
|
Статистика просмотров: |
Страница аннотации: | 111 | PDF полного текста: | 26 |
|