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

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

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


Вестн. Моск. ун-та. Сер. 1. Матем., мех.:
Год:
Том:
Выпуск:
Страница:
Найти




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

Вестник Московского университета. Серия 1: Математика. Механика, 1983, номер 1, страницы 41–44 (Mi vmumm3446)  
Математика

Об одной системе интуиционистского анализа, эквивалентной классическому анализу

М. Р. Ковтун
PDF полного текста (522 kB)
Аннотация: Рассматривается принцип релятивизованной бар-индукции, добавление которого к базисной системе Клини дает нейтральную систему, эквивалентную классическому анализу.
Библиогр. 6.
Поступила в редакцию: 20.12.1981
Реферативные базы данных:
Тип публикации: Статья
УДК: 517.12
Образец цитирования: М. Р. Ковтун, “Об одной системе интуиционистского анализа, эквивалентной классическому анализу”, Вестн. Моск. ун-та. Сер. 1. Матем., мех., 1983, № 1, 41–44
Цитирование в формате AMSBIB
\RBibitem{Kov83}
\by М.~Р.~Ковтун
\paper Об одной системе интуиционистского анализа, эквивалентной классическому анализу
\jour Вестн. Моск. ун-та. Сер.~1. Матем., мех.
\yr 1983
\issue 1
\pages 41--44
\mathnet{http://mi.mathnet.ru/vmumm3446}
\mathscinet{https://mathscinet.ams.org/mathscinet-getitem?mr=0690942}
\zmath{https://zbmath.org/?q=an:0531.03038}
Образцы ссылок на эту страницу:
  • https://www.mathnet.ru/rus/vmumm3446
  • https://www.mathnet.ru/rus/vmumm/y1983/i1/p41
    • Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
     
      Обратная связь:
    		  Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2025