Arithmetical Realizability and Basic Logic / A. Yu. Konovalov. // Vestnik Moskovskogo Universiteta. Seriya 1. Matematika. Mekhanika. 2016. № 1. P. 52-56 [Moscow Univ. Math. Bulletin. Vol. 72, N 2, 2017. P. 35-38].
Absolute arithmetical realizability of predicate formulas is introduced. It is proved that the intuitionistic logic is not correct with this semantics, but the basic logic is correct.
Key words: constructive semantics, realizability, absolute realizability, formal arithmetic, arithmetical realizability, basic logic, intuitionistic logic.