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 Cet article a éte moissonné depuis la source Math-Net.Ru

Voir la notice de l'article

@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},
     year = {1981},
     volume = {261},
     number = {4},
     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
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
%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/