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

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

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



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






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


Алгебра и логика, 1993, том 32, номер 6, страницы 607–617 (Mi al2248)  

Нестандартный анализ и аксиома детерминированности

Н. В. Белякин, С. П. Одинцовa

a Институт математики Сибирского отделения Российской академии наук, г. Новосибирск
Аннотация: Рассматривается аксиоматическая теория нестандартных наследственно конечных множеств, в которой удается промоделировать значительную часть арифметики третьего порядка. Показано, что с этой теорией совместна аксиома детерминированности.
Поступило: 16.11.1992
Англоязычная версия:
Algebra and Logic
DOI: https://doi.org/10.1007/BF02263051
Реферативные базы данных:
Тип публикации: Статья
УДК: 510.223
Образец цитирования: Н. В. Белякин, С. П. Одинцов, “Нестандартный анализ и аксиома детерминированности”, Алгебра и логика, 32:6 (1993), 607–617
Цитирование в формате AMSBIB
\RBibitem{BelOdi93}
\by Н.~В.~Белякин, С.~П.~Одинцов
\paper Нестандартный анализ и аксиома детерминированности
\jour Алгебра и логика
\yr 1993
\vol 32
\issue 6
\pages 607--617
\mathnet{http://mi.mathnet.ru/al2248}
\mathscinet{http://mathscinet.ams.org/mathscinet-getitem?mr=1296521}
Образцы ссылок на эту страницу:
  • https://www.mathnet.ru/rus/al2248
  • https://www.mathnet.ru/rus/al/v32/i6/p607
  • Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    Алгебра и логика Algebra and Logic
    Статистика просмотров:
    Страница аннотации:47
    PDF полного текста:54
     
      Обратная связь:
     Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024