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

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

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


Изв. РАН. Сер. матем.:
Год:
Том:
Выпуск:
Страница:
Найти




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

Известия Российской академии наук. Серия математическая, 1994, том 58, выпуск 3, страницы 140–168 (Mi im792)  
Эта публикация цитируется в 3 научных статьях (всего в 3 статьях)

Диалоговая теория доказательства для арифметики, анализа и теории множеств

В. А. Янков
PDF полного текста (2112 kB) PDF английской версии (2072 kB) Список цитирования (3)
Список литературы:
PDF
HTML
Аннотация: В работе показано, что в непредикативных расширениях интуиционистской арифметики, “интуиционистских”анализа и теории множеств Цермело–Френкеля с помощью подходящих аксиом “запирания” может быть показана непротиворечивость классических арифметики, анализа и теории множеств. Выдвигаются аргументы в пользу того, что проведенные доказательства позволяют обосновать настоящую непротиворечивость классических систем.
Поступило в редакцию: 02.07.1992
Англоязычная версия:
Russian Academy of Sciences. Izvestiya Mathematics, 1995, Volume 44, Issue 3, Pages 571–600
DOI: https://doi.org/10.1070/IM1995v044n03ABEH001614
Реферативные базы данных:
УДК: 517.11
MSC: Primary 03F03, 03F55; Secondary 03E35, 03F10, 03E30, 03B20
Образец цитирования: В. А. Янков, “Диалоговая теория доказательства для арифметики, анализа и теории множеств”, Изв. РАН. Сер. матем., 58:3 (1994), 140–168; Russian Acad. Sci. Izv. Math., 44:3 (1995), 571–600
Цитирование в формате AMSBIB
\RBibitem{Yan94}
\by В.~А.~Янков
\paper Диалоговая теория доказательства для арифметики, анализа и теории множеств
\jour Изв. РАН. Сер. матем.
\yr 1994
\vol 58
\issue 3
\pages 140--168
\mathnet{http://mi.mathnet.ru/im792}
\mathscinet{http://mathscinet.ams.org/mathscinet-getitem?mr=1286843}
\zmath{https://zbmath.org/?q=an:0836.03029}
\adsnasa{https://adsabs.harvard.edu/cgi-bin/bib_query?1995IzMat..44..571Y}
\transl
\jour Russian Acad. Sci. Izv. Math.
\yr 1995
\vol 44
\issue 3
\pages 571--600
\crossref{https://doi.org/10.1070/IM1995v044n03ABEH001614}
\isi{https://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcApp=Publons&SrcAuth=Publons_CEL&DestLinkType=FullRecord&DestApp=WOS_CPL&KeyUT=A1995RQ68000007}
Образцы ссылок на эту страницу:
  • https://www.mathnet.ru/rus/im792
  • https://www.mathnet.ru/rus/im/v58/i3/p140
    • Эта публикация цитируется в следующих 3 статьяx:
    Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    		Известия Российской академии наук. Серия математическая Izvestiya: Mathematics
    Статистика просмотров:
    Страница аннотации:281
    PDF русской версии:111
    PDF английской версии:14
    Список литературы:53
    Первая страница:2
     
      Обратная связь:
    		  Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024