Vestnik Moskovskogo Universiteta. Seriya 1. Matematika. Mekhanika

Arithmetical Realizability and Primitive Recursive Realizability / A. Yu. Konovalov. // Vestnik Moskovskogo Universiteta. Seriya 1. Matematika. Mekhanika. 2016. № 4. P. 60-64 [Moscow Univ. Math. Bulletin. Vol. 72, N 2, 2017. P. 166-169].

The semantics of the predicate logic based on the absolute arithmetical realizability is proved to differ from the semantics based on the primitive recursive realizability by Salehi.

Key words: constructive semantics, absolute realizability, formal arithmetic, arithmetical realizability, primitive recursive realizability.

№ 4/2016

$General information on the journal$	$Editorial Board$	$History of the journal$	$HOME$
$Contents (1997-2001)$	$How to submit a manuscript?$	$Русская версия$	$HOME$