Nondeducibility of the uniformization principles from Church's thesis in intuitionistic set theory
Matematičeskie zametki, Tome 43 (1988) no. 5, pp. 685-691
Voir la notice de l'article provenant de la source Math-Net.Ru
@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},
publisher = {mathdoc},
volume = {43},
number = {5},
year = {1988},
language = {ru},
url = {http://geodesic.mathdoc.fr/item/MZM_1988_43_5_a11/}
}
TY - JOUR AU - V. Kh. Khakhanyan TI - Nondeducibility of the uniformization principles from Church's thesis in intuitionistic set theory JO - Matematičeskie zametki PY - 1988 SP - 685 EP - 691 VL - 43 IS - 5 PB - mathdoc UR - http://geodesic.mathdoc.fr/item/MZM_1988_43_5_a11/ LA - ru ID - MZM_1988_43_5_a11 ER -
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/