|
Математические заметки, 1977, том 22, выпуск 1, страницы 61–68
(Mi mzm8025)
|
|
|
|
Эта публикация цитируется в 1 научной статье (всего в 1 статье)
Об одном консервативном расширении формального математического анализа со схемой зависимого выбора
А. М. Левин Московский государственный университет им. М. В. Ломоносова
Аннотация:
Изучается расширение классического анализа, язык которого получается добавлением к языку анализа двуместного предикатного символа $\rho$. К аксиомам этого расширения, помимо всех аксиом анализа (схема свертывания берется для всех формул нового языка) относится также серия аксиом, утверждающих, что отношение $\rho$ вполне упорядочивает класс всех множеств натуральных чисел. Доказано, что описанная теория является консервативным расширением анализа со схемой зависимого выбора. Библ. 3 назв.
Поступило: 09.12.1974
Образец цитирования:
А. М. Левин, “Об одном консервативном расширении формального математического анализа со схемой зависимого выбора”, Матем. заметки, 22:1 (1977), 61–68; Math. Notes, 22:1 (1977), 524–528
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/mzm8025 https://www.mathnet.ru/rus/mzm/v22/i1/p61
|
Статистика просмотров: |
Страница аннотации: | 253 | PDF полного текста: | 88 | Первая страница: | 1 |
|