RUS
ENG
Полная версия
ЖУРНАЛЫ
// Вестник Московского университета. Серия 1: Математика. Механика
// Архив
Вестн. Моск. ун-та. Сер. 1. Матем., мех.,
1983
,
номер 1,
страницы
41–44
(Mi vmumm3446)
Математика
Об одной системе интуиционистского анализа, эквивалентной классическому анализу
М. Р. Ковтун
Аннотация:
Рассматривается принцип релятивизованной бар-индукции, добавление которого к базисной системе Клини дает нейтральную систему, эквивалентную классическому анализу.
Библиогр. 6.
УДК:
517.12
Поступила в редакцию:
20.12.1981
Полный текст:
PDF файл (522 kB)
Реферативные базы данных:
©
МИАН
, 2024