|
Vestnik Moskovskogo Universiteta. Seriya 1. Matematika. Mekhanika, 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.
Received: 20.12.1981
Citation:
M. R. Kovtun, “A system of intuitionistic analysis that is equivalent to classical analysis”, Vestnik Moskov. Univ. Ser. 1. Mat. Mekh., 1983, no. 1, 41–44
Linking options:
https://www.mathnet.ru/eng/vmumm3446 https://www.mathnet.ru/eng/vmumm/y1983/i1/p41
|
Statistics & downloads: |
Abstract page: | 36 | Full-text PDF : | 13 |
|