TY  - JOUR
AU  - V. Kh. Khakhanyan
TI  - Independence of the uniformity principle from Church's thesis in intuitionistic set theory
JO  - Izvestiya. Mathematics 
PY  - 2013
SP  - 1260
EP  - 1275
VL  - 77
IS  - 6
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/IM2_2013_77_6_a6/
LA  - en
ID  - IM2_2013_77_6_a6
ER  -