Geodesic
Effectivity Properties of Intuitionistic Set Theory with Collection Scheme
Matematičeskie zametki, Tome 89 (2011) no. 5, pp. 658-672

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

Intuitionistic set theory with collection scheme is considered. Its various effectivity properties are proved by using the method of realizability.
Keywords: intuitionistic set theory, two-sorted language, collection scheme, effectivity properties of set theory, Markov's principle, Church's thesis, uniformization principle, Kleene recursive realizability. 
@article{MZM_2011_89_5_a2,
     author = {A. G. Vladimirov},
     title = {Effectivity {Properties} of {Intuitionistic} {Set} {Theory} with {Collection} {Scheme}},
     journal = {Matemati\v{c}eskie zametki},
     pages = {658--672},
     publisher = {mathdoc},
     volume = {89},
     number = {5},
     year = {2011},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/MZM_2011_89_5_a2/}
}
TY  - JOUR
AU  - A. G. Vladimirov
TI  - Effectivity Properties of Intuitionistic Set Theory with Collection Scheme
JO  - Matematičeskie zametki
PY  - 2011
SP  - 658
EP  - 672
VL  - 89
IS  - 5
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/MZM_2011_89_5_a2/
LA  - ru
ID  - MZM_2011_89_5_a2
ER  - 
%0 Journal Article
%A A. G. Vladimirov
%T Effectivity Properties of Intuitionistic Set Theory with Collection Scheme
%J Matematičeskie zametki
%D 2011
%P 658-672
%V 89
%N 5
%I mathdoc
%U http://geodesic.mathdoc.fr/item/MZM_2011_89_5_a2/
%G ru
%F MZM_2011_89_5_a2
A. G. Vladimirov. Effectivity Properties of Intuitionistic Set Theory with Collection Scheme. Matematičeskie zametki, Tome 89 (2011) no. 5, pp. 658-672. http://geodesic.mathdoc.fr/item/MZM_2011_89_5_a2/