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 Cet article a éte moissonné depuis la source Math-Net.Ru

Voir la notice de l'article

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. 
@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
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/

[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