Geodesic
Independence of the uniformity principle from Church's thesis in intuitionistic set theory
Izvestiya. Mathematics , Tome 77 (2013) no. 6, pp. 1260-1275

Voir la notice de l'article provenant de la source Math-Net.Ru

We prove the independence of the strong uniformity principle from Church's thesis with choice in intuitionistic set theory with the axiom of extensionality extended by Markov's principle and the double complement for sets.
Keywords: intuitionistic logic, set theory, universe of sets, recursive realizability, Church's thesis, uniformity principle, extensionality function of a set. 
@article{IM2_2013_77_6_a6,
     author = {V. Kh. Khakhanyan},
     title = {Independence of the uniformity principle from {Church's} thesis in intuitionistic set theory},
     journal = {Izvestiya. Mathematics },
     pages = {1260--1275},
     publisher = {mathdoc},
     volume = {77},
     number = {6},
     year = {2013},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/IM2_2013_77_6_a6/}
}
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  - 
%0 Journal Article
%A V. Kh. Khakhanyan
%T Independence of the uniformity principle from Church's thesis in intuitionistic set theory
%J Izvestiya. Mathematics 
%D 2013
%P 1260-1275
%V 77
%N 6
%I mathdoc
%U http://geodesic.mathdoc.fr/item/IM2_2013_77_6_a6/
%G en
%F IM2_2013_77_6_a6
V. Kh. Khakhanyan. Independence of the uniformity principle from Church's thesis in intuitionistic set theory. Izvestiya. Mathematics , Tome 77 (2013) no. 6, pp. 1260-1275. http://geodesic.mathdoc.fr/item/IM2_2013_77_6_a6/