TY  - JOUR
AU  - A. Yu. Konovalov
AU  - V. E. Plisko
TI  - On Hyperarithmetical Realizability
JO  - Matematičeskie zametki
PY  - 2015
SP  - 725
EP  - 746
VL  - 98
IS  - 5
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/MZM_2015_98_5_a6/
LA  - ru
ID  - MZM_2015_98_5_a6
ER  -