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

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

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


Компьютерные исследования и моделирование:
Год:
Том:
Выпуск:
Страница:
Найти




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

Компьютерные исследования и моделирование, 2009, том 1, выпуск 4, страницы 367–380
DOI: https://doi.org/10.20537/2076-7633-2009-1-4-367-380 (Mi crm653) 		 
Эта публикация цитируется в 1 научной статье (всего в 1 статье)

МАТЕМАТИЧЕСКИЕ ОСНОВЫ И ЧИСЛЕННЫЕ МЕТОДЫ МОДЕЛИРОВАНИЯ

Возникновение противоречий в теории множеств Цермело–Френкеля при расширении базового языка рекурсивными функциями

А. В. Коганов

Научно-исследовательский институт системных исследований РАН, 117218, г. Москва, Нахимовский проспект, д. 36, к. 1
PDF полного текста (165 kB) Список цитирования (1)
Список литературы:
PDF
HTML
DOI: https://doi.org/10.20537/2076-7633-2009-1-4-367-380
Аннотация: Показано, что если в аксиоматике Цермело–Френкеля использовать расширение базового языка, которое допускает в формулах отношения на значениях рекурсивных функций от натурального аргумента, то в теории множеств возникают противоречивые конструкции на уровне арифметики.
Ключевые слова: теория Цермело–Френкеля, рекурсивные функции, теория множеств.
Поступила в редакцию: 21.06.2009
Исправленный вариант: 02.07.2009
Тип публикации: Статья
Образец цитирования: А. В. Коганов, “Возникновение противоречий в теории множеств Цермело–Френкеля при расширении базового языка рекурсивными функциями”, Компьютерные исследования и моделирование, 1:4 (2009), 367–380
Цитирование в формате AMSBIB
\RBibitem{Kog09}
\by А.~В.~Коганов
\paper Возникновение противоречий в теории множеств Цермело--Френкеля при расширении базового языка рекурсивными функциями
\jour Компьютерные исследования и моделирование
\yr 2009
\vol 1
\issue 4
\pages 367--380
\mathnet{http://mi.mathnet.ru/crm653}
\crossref{https://doi.org/10.20537/2076-7633-2009-1-4-367-380}
Образцы ссылок на эту страницу:
  • https://www.mathnet.ru/rus/crm653
  • https://www.mathnet.ru/rus/crm/v1/i4/p367
    • Эта публикация цитируется в следующих 1 статьяx:
    Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    		Компьютерные исследования и моделирование
    Статистика просмотров:
    Страница аннотации:136
    PDF полного текста:228
    Список литературы:24
     
      Обратная связь:
    		  Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024