Abstract
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.
Similar content being viewed by others
References
S. Salehi, “Primitive Recursive Realizability and Basic Arithmetic,” Bull. Symbol. Logic 7 (1), 147 (2001).
S. Salehi, “Provably Total Functions of Basic Arithmetic,” Math. Log. Quart. 49 (3), 316 (2003).
W. Ruitenburg, “Basic Predicate Calculus,” Notre Dame J. Form. Log. 39 (1), 18 (1998).
A. Yu. Konovalov, “Arithmetical Realizability and Basic Logic,” Vestn. Mosk. Univ., Matem. Mekhan., 1, 52 (2016) [Moscow Univ. Math. Bulletin 71 (1), 35 (2016)].
M. Ardeshir, “A Translation of Intuitionistic Predicate Logic into Basic Predicate Logic,” Stud. Log. 62, 341 (1999).
D. A. Viter, Primitive Recursive Realizability and Predicate Logic, Available from VINITI, 1830–V2001 (Moscow, 2001).
D. A. Viter, Primitive Recursive Realizability and Constructive Model Theory, Candidate’s Dissertation in Mathematics and Physics (Moscow State Univ., Moscow, 2001).
S. K. Kleene, Introduction to Metamathematics (IL, Moscow, 1957; Ishi Press Int., N.Y., 2009).
V. E. Plisko, “Absolute Realizability of Predicate Formulas,” Izvestiya Akad. Nauk SSSR, Ser. Matem. 47 (2), 315 (1983) [Math. of the USSR–Izvestiya 22 (2), 291 (1984)].
Author information
Authors and Affiliations
Corresponding author
Additional information
Original Russian Text © A.Yu. Konovalov, 2016, published in Vestnik Moskovskogo Universiteta, Matematika. Mekhanika, 2016, Vol. 71, No. 4, pp. 60–64.
About this article
Cite this article
Konovalov, A.Y. Arithmetical realizability and primitive recursive realizability. Moscow Univ. Math. Bull. 71, 166–169 (2016). https://doi.org/10.3103/S0027132216040069
Received:
Published:
Issue Date:
DOI: https://doi.org/10.3103/S0027132216040069