Geodesic
One conservative extension of formal mathematic analysis with a~scheme of dependent choice
Matematičeskie zametki, Tome 22 (1977) no. 1, pp. 61-68.

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

This paper studies an extension of classical analysis, the language of which is obtained by adding to the language of analysis a two-place predicate symbol $\rho$. To the axioms of this extension, in addition to all the axioms of analysis (a convolution scheme is selected for all the formulas of the new language), there also belong a series of axioms asserting that relationship $\rho$ completely orders the class of all sets of natural numbers. It is proven that the theory described herein is a conservative extension of analysis with a scheme of dependent choice. 
@article{MZM_1977_22_1_a6,
     author = {A. M. Levin},
     title = {One conservative extension of formal mathematic analysis with a~scheme of dependent choice},
     journal = {Matemati\v{c}eskie zametki},
     pages = {61--68},
     publisher = {mathdoc},
     volume = {22},
     number = {1},
     year = {1977},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/MZM_1977_22_1_a6/}
}
TY  - JOUR
AU  - A. M. Levin
TI  - One conservative extension of formal mathematic analysis with a~scheme of dependent choice
JO  - Matematičeskie zametki
PY  - 1977
SP  - 61
EP  - 68
VL  - 22
IS  - 1
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/MZM_1977_22_1_a6/
LA  - ru
ID  - MZM_1977_22_1_a6
ER  - 
%0 Journal Article
%A A. M. Levin
%T One conservative extension of formal mathematic analysis with a~scheme of dependent choice
%J Matematičeskie zametki
%D 1977
%P 61-68
%V 22
%N 1
%I mathdoc
%U http://geodesic.mathdoc.fr/item/MZM_1977_22_1_a6/
%G ru
%F MZM_1977_22_1_a6
A. M. Levin. One conservative extension of formal mathematic analysis with a~scheme of dependent choice. Matematičeskie zametki, Tome 22 (1977) no. 1, pp. 61-68. http://geodesic.mathdoc.fr/item/MZM_1977_22_1_a6/