|
Известия Академии наук СССР. Серия математическая, 1988, том 52, выпуск 3, страницы 581–600
(Mi im1195)
|
|
|
|
Эта публикация цитируется в 3 научных статьях (всего в 3 статьях)
Теорема о нормальной форме для классической логики 2 порядка с аксиомой выбора
Г. Е. Минц
Аннотация:
Доказывается теорема об устранимости сечения для логики 2 порядка с аксиомой выбора типа $(0,1)$ и $(1,1)$. В первом случае применяется схема Пеппингхауза, во втором используется исчисление с эпсилон-символом по предикатам.
Библиография: 5 названий.
Поступило в редакцию: 01.07.1986
Образец цитирования:
Г. Е. Минц, “Теорема о нормальной форме для классической логики 2 порядка с аксиомой выбора”, Изв. АН СССР. Сер. матем., 52:3 (1988), 581–600; Math. USSR-Izv., 32:3 (1989), 587–605
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/im1195 https://www.mathnet.ru/rus/im/v52/i3/p581
|
Статистика просмотров: |
Страница аннотации: | 296 | PDF русской версии: | 137 | PDF английской версии: | 9 | Список литературы: | 44 | Первая страница: | 1 |
|