Сибирский математический журнал
RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB  
Общая информация
Последний выпуск
Архив
Импакт-фактор

Поиск публикаций
Поиск ссылок

RSS
Последний выпуск
Текущие выпуски
Архивные выпуски
Что такое RSS



Сиб. матем. журн.:
Год:
Том:
Выпуск:
Страница:
Найти






Персональный вход:
Логин:
Пароль:
Запомнить пароль
Войти
Забыли пароль?
Регистрация


Сибирский математический журнал, 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
Англоязычная версия:
Siberian Mathematical Journal, 1992, Volume 33, Issue 6, Pages 999–1010
DOI: https://doi.org/10.1007/BF00971023
Реферативные базы данных:
УДК: 510.223, 510.6, 517.2
Образец цитирования: В. Г. Кановей, “О принципе продолжения в теории внутренних множеств”, Сиб. матем. журн., 33:6 (1992), 66–78; Siberian Math. J., 33:6 (1992), 999–1010
Цитирование в формате AMSBIB
\RBibitem{Kan92}
\by В.~Г.~Кановей
\paper О~принципе продолжения в~теории внутренних множеств
\jour Сиб. матем. журн.
\yr 1992
\vol 33
\issue 6
\pages 66--78
\mathnet{http://mi.mathnet.ru/smj1717}
\mathscinet{http://mathscinet.ams.org/mathscinet-getitem?mr=1214110}
\zmath{https://zbmath.org/?q=an:0834.03019|0780.03024}
\transl
\jour Siberian Math. J.
\yr 1992
\vol 33
\issue 6
\pages 999--1010
\crossref{https://doi.org/10.1007/BF00971023}
\isi{https://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcApp=Publons&SrcAuth=Publons_CEL&DestLinkType=FullRecord&DestApp=WOS_CPL&KeyUT=A1992KM97400007}
Образцы ссылок на эту страницу:
  • https://www.mathnet.ru/rus/smj1717
  • https://www.mathnet.ru/rus/smj/v33/i6/p66
  • Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    Сибирский математический журнал Siberian Mathematical Journal
    Статистика просмотров:
    Страница аннотации:111
    PDF полного текста:26
     
      Обратная связь:
     Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024