Nondeducibility of the uniformization principles from Church's thesis in intuitionistic set theory
Matematičeskie zametki, Tome 43 (1988) no. 5, pp. 685-691
@article{MZM_1988_43_5_a11,
author = {V. Kh. Khakhanyan},
title = {Nondeducibility of the uniformization principles from {Church's} thesis in intuitionistic set theory},
journal = {Matemati\v{c}eskie zametki},
pages = {685--691},
year = {1988},
volume = {43},
number = {5},
language = {ru},
url = {http://geodesic.mathdoc.fr/item/MZM_1988_43_5_a11/}
}
V. Kh. Khakhanyan. Nondeducibility of the uniformization principles from Church's thesis in intuitionistic set theory. Matematičeskie zametki, Tome 43 (1988) no. 5, pp. 685-691. http://geodesic.mathdoc.fr/item/MZM_1988_43_5_a11/