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  -