RUS  ENG
Full version
JOURNALS // Vestnik Moskovskogo Universiteta. Seriya 1. Matematika. Mekhanika // Archive
Vestnik Moskov. Univ. Ser. 1. Mat. Mekh., 1983 Number 1, Pages 41–44 (Mi vmumm3446)
Mathematics

A system of intuitionistic analysis that is equivalent to classical analysis

M. R. Kovtun


Abstract: We study a principle of the relativized bar-induction. This principle together with the basic Kleene system forms a neutral system equivalent to the classical analysis.

UDC: 517.12

Received: 20.12.1981



Bibliographic databases:

© Steklov Math. Inst. of RAS, 2024