Geodesic
On the consistency of the theory of types with the axiom of choice relative to the theory of types
Doklady Akademii Nauk, Tome 261 (1981) no. 4, pp. 825-828.

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

@article{DAN_1981_261_4_a13,
     author = {A. M. Yakubovich},
     title = {On the consistency of the theory of types with the axiom of choice relative to the theory of types},
     journal = {Doklady Akademii Nauk},
     pages = {825--828},
     publisher = {mathdoc},
     volume = {261},
     number = {4},
     year = {1981},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/DAN_1981_261_4_a13/}
}
TY  - JOUR
AU  - A. M. Yakubovich
TI  - On the consistency of the theory of types with the axiom of choice relative to the theory of types
JO  - Doklady Akademii Nauk
PY  - 1981
SP  - 825
EP  - 828
VL  - 261
IS  - 4
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/DAN_1981_261_4_a13/
LA  - ru
ID  - DAN_1981_261_4_a13
ER  - 
%0 Journal Article
%A A. M. Yakubovich
%T On the consistency of the theory of types with the axiom of choice relative to the theory of types
%J Doklady Akademii Nauk
%D 1981
%P 825-828
%V 261
%N 4
%I mathdoc
%U http://geodesic.mathdoc.fr/item/DAN_1981_261_4_a13/
%G ru
%F DAN_1981_261_4_a13
A. M. Yakubovich. On the consistency of the theory of types with the axiom of choice relative to the theory of types. Doklady Akademii Nauk, Tome 261 (1981) no. 4, pp. 825-828. http://geodesic.mathdoc.fr/item/DAN_1981_261_4_a13/