|
Алгебра и логика, 1993, том 32, номер 6, страницы 607–617
(Mi al2248)
|
|
|
|
Нестандартный анализ и аксиома детерминированности
Н. В. Белякин, С. П. Одинцовa a Институт математики Сибирского отделения Российской академии наук, г. Новосибирск
Аннотация:
Рассматривается аксиоматическая теория нестандартных наследственно конечных множеств, в которой удается промоделировать значительную часть арифметики третьего порядка. Показано, что с этой теорией совместна аксиома детерминированности.
Поступило: 16.11.1992
Образец цитирования:
Н. В. Белякин, С. П. Одинцов, “Нестандартный анализ и аксиома детерминированности”, Алгебра и логика, 32:6 (1993), 607–617
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/al2248 https://www.mathnet.ru/rus/al/v32/i6/p607
|
Статистика просмотров: |
Страница аннотации: | 47 | PDF полного текста: | 54 |
|