A. M. Yakubovich, “On the consistency of the theory of types with the axiom of choice relative to the theory of types”, Dokl. Akad. Nauk SSSR, 1981, Volume 261, Number 4,Pages <nobr>825

JOURNALS // Doklady Akademii Nauk // Archive

Dokl. Akad. Nauk SSSR, 1981 Volume 261, Number 4, Pages 825–828 (Mi dan44906)

MATHEMATICS

On the consistency of the theory of types with the axiom of choice relative to the theory of types

A. M. Yakubovich

UDC: 517.12

Presented: A. N. Kolmogorov
Received: 26.05.1981

Fulltext: PDF file (608 kB)

Bibliographic databases: