Geodesic
The semantics of realizability for the constructive set theory based on hyperarithmetical predicates
Vestnik Moskovskogo universiteta. Matematika, mehanika, no. 3 (2017), pp. 59-62 
A. Yu. Konovalov. The semantics of realizability for the constructive set theory based on hyperarithmetical predicates. Vestnik Moskovskogo universiteta. Matematika, mehanika, no. 3 (2017), pp. 59-62. http://geodesic.mathdoc.fr/item/VMUMM_2017_3_a8/
@article{VMUMM_2017_3_a8,
     author = {A. Yu. Konovalov},
     title = {The semantics of realizability for the constructive set theory based on hyperarithmetical predicates},
     journal = {Vestnik Moskovskogo universiteta. Matematika, mehanika},
     pages = {59--62},
     year = {2017},
     number = {3},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/VMUMM_2017_3_a8/}
}
TY  - JOUR
AU  - A. Yu. Konovalov
TI  - The semantics of realizability for the constructive set theory based on hyperarithmetical predicates
JO  - Vestnik Moskovskogo universiteta. Matematika, mehanika
PY  - 2017
SP  - 59
EP  - 62
IS  - 3
UR  - http://geodesic.mathdoc.fr/item/VMUMM_2017_3_a8/
LA  - ru
ID  - VMUMM_2017_3_a8
ER  - 
%0 Journal Article
%A A. Yu. Konovalov
%T The semantics of realizability for the constructive set theory based on hyperarithmetical predicates
%J Vestnik Moskovskogo universiteta. Matematika, mehanika
%D 2017
%P 59-62
%N 3
%U http://geodesic.mathdoc.fr/item/VMUMM_2017_3_a8/
%G ru
%F VMUMM_2017_3_a8

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

A semantics of realizability for formulas of the language of set theory based on hyperarithmetical predicates of membership is introduced. It is proved that the constructive set theory without the extensionality axioms is sound with this semantics.

[1] Rodzhers Kh., Teoriya rekursivnykh funktsii i effektivnaya vychislimost, Mir, M., 1972 | MR

[2] Aczel P., “The type theoretic interpretation of constructive set theory”, Log. Coll., 77 (1978), 55–66 | MR