The semantics of realizability for the constructive set theory based on hyperarithmetical predicates
Vestnik Moskovskogo universiteta. Matematika, mehanika, no. 3 (2017), pp. 59-62
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.
@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},
publisher = {mathdoc},
number = {3},
year = {2017},
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 PB - mathdoc 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 %I mathdoc %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/