Geodesic
The nonarithmeticity of the predicate logic
Izvestiya. Mathematics , Tome 87 (2023) no. 2, pp. 389-419

Voir la notice de l'article provenant de la source Math-Net.Ru

The notion of primitive recursive realizability was introduced by S. Salehi as a kind of semantics for the language of basic arithmetic using primitive recursive functions. It is of interest to study the corresponding predicate logic. D. A. Viter proved that the predicate logic of primitive recursive realizability by Salehi is not arithmetical. The technically complex proof combines the methods used by the author of this article in the study of predicate logics of constructive arithmetic theories and the results of M. Ardeshir on the translation of the intuitionistic predicate logic into the basic predicate logic. The purpose of this article is to present another proof of Viter's result by directly transferring the methods used earlier in proving the nonarithmeticity of the predicate logic of recursive realizability.
Keywords: predicate logic, primitive recursive realizability, basic arithmetic, basic predicate logic, nonarithmeticity. 
@article{IM2_2023_87_2_a6,
     author = {V. E. Plisko},
     title = {The nonarithmeticity of the predicate logic},
     journal = {Izvestiya. Mathematics },
     pages = {389--419},
     publisher = {mathdoc},
     volume = {87},
     number = {2},
     year = {2023},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/IM2_2023_87_2_a6/}
}
TY  - JOUR
AU  - V. E. Plisko
TI  - The nonarithmeticity of the predicate logic
JO  - Izvestiya. Mathematics 
PY  - 2023
SP  - 389
EP  - 419
VL  - 87
IS  - 2
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/IM2_2023_87_2_a6/
LA  - en
ID  - IM2_2023_87_2_a6
ER  - 
%0 Journal Article
%A V. E. Plisko
%T The nonarithmeticity of the predicate logic
%J Izvestiya. Mathematics 
%D 2023
%P 389-419
%V 87
%N 2
%I mathdoc
%U http://geodesic.mathdoc.fr/item/IM2_2023_87_2_a6/
%G en
%F IM2_2023_87_2_a6
V. E. Plisko. The nonarithmeticity of the predicate logic. Izvestiya. Mathematics , Tome 87 (2023) no. 2, pp. 389-419. http://geodesic.mathdoc.fr/item/IM2_2023_87_2_a6/