%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