|
Variants of the axiom of choice in the simple theory of types
A. M. Yakubovich
Received: 07.06.1978
Citation:
A. M. Yakubovich, “Variants of the axiom of choice in the simple theory of types”, Mat. Zametki, 30:2 (1981), 269–276; Math. Notes, 30:2 (1981), 622–626
Linking options:
https://www.mathnet.ru/eng/mzm6221 https://www.mathnet.ru/eng/mzm/v30/i2/p269
|
Statistics & downloads: |
Abstract page: | 241 | Full-text PDF : | 195 | First page: | 1 |
|