Geodesic
A system of intuitionistic analysis that is equivalent to classical analysis
Vestnik Moskovskogo universiteta. Matematika, mehanika, no. 1 (1983), pp. 41-44 
M. R. Kovtun. A system of intuitionistic analysis that is equivalent to classical analysis. Vestnik Moskovskogo universiteta. Matematika, mehanika, no. 1 (1983), pp. 41-44. http://geodesic.mathdoc.fr/item/VMUMM_1983_1_a10/
@article{VMUMM_1983_1_a10,
     author = {M. R. Kovtun},
     title = {A system of intuitionistic analysis that is equivalent to classical analysis},
     journal = {Vestnik Moskovskogo universiteta. Matematika, mehanika},
     pages = {41--44},
     year = {1983},
     number = {1},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/VMUMM_1983_1_a10/}
}
TY  - JOUR
AU  - M. R. Kovtun
TI  - A system of intuitionistic analysis that is equivalent to classical analysis
JO  - Vestnik Moskovskogo universiteta. Matematika, mehanika
PY  - 1983
SP  - 41
EP  - 44
IS  - 1
UR  - http://geodesic.mathdoc.fr/item/VMUMM_1983_1_a10/
LA  - ru
ID  - VMUMM_1983_1_a10
ER  - 
%0 Journal Article
%A M. R. Kovtun
%T A system of intuitionistic analysis that is equivalent to classical analysis
%J Vestnik Moskovskogo universiteta. Matematika, mehanika
%D 1983
%P 41-44
%N 1
%U http://geodesic.mathdoc.fr/item/VMUMM_1983_1_a10/
%G ru
%F VMUMM_1983_1_a10

Voir la notice de l'article provenant de la source Math-Net.Ru

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.