RUS  ENG
Полная версия
ЖУРНАЛЫ // Вестник Московского университета. Серия 1: Математика. Механика // Архив
Вестн. Моск. ун-та. Сер. 1. Матем., мех., 1983, номер 1, страницы 41–44 (Mi vmumm3446)
Математика

Об одной системе интуиционистского анализа, эквивалентной классическому анализу

М. Р. Ковтун


Аннотация: Рассматривается принцип релятивизованной бар-индукции, добавление которого к базисной системе Клини дает нейтральную систему, эквивалентную классическому анализу.
Библиогр. 6.

УДК: 517.12

Поступила в редакцию: 20.12.1981



Реферативные базы данных:

© МИАН, 2024