Geodesic
Arithmetical realizability and primitive recursive realizability
Vestnik Moskovskogo universiteta. Matematika, mehanika, no. 4 (2016), pp. 60-64 Cet article a éte moissonné depuis la source Math-Net.Ru

Voir la notice de l'article

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. 
@article{VMUMM_2016_4_a9,
     author = {A. Yu. Konovalov},
     title = {Arithmetical realizability and primitive recursive realizability},
     journal = {Vestnik Moskovskogo universiteta. Matematika, mehanika},
     pages = {60--64},
     year = {2016},
     number = {4},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/VMUMM_2016_4_a9/}
}
TY  - JOUR
AU  - A. Yu. Konovalov
TI  - Arithmetical realizability and primitive recursive realizability
JO  - Vestnik Moskovskogo universiteta. Matematika, mehanika
PY  - 2016
SP  - 60
EP  - 64
IS  - 4
UR  - http://geodesic.mathdoc.fr/item/VMUMM_2016_4_a9/
LA  - ru
ID  - VMUMM_2016_4_a9
ER  - 
%0 Journal Article
%A A. Yu. Konovalov
%T Arithmetical realizability and primitive recursive realizability
%J Vestnik Moskovskogo universiteta. Matematika, mehanika
%D 2016
%P 60-64
%N 4
%U http://geodesic.mathdoc.fr/item/VMUMM_2016_4_a9/
%G ru
%F VMUMM_2016_4_a9
A. Yu. Konovalov. Arithmetical realizability and primitive recursive realizability. Vestnik Moskovskogo universiteta. Matematika, mehanika, no. 4 (2016), pp. 60-64. http://geodesic.mathdoc.fr/item/VMUMM_2016_4_a9/

[1] Salehi S., “Primitive recursive realizability and basic arithmetic”, Bull. Symbol. Logic, 7:1 (2001), 147—148

[2] Salehi S., “Provably total functions of basic arithmetic”, Math. Log. Quart., 49:3 (2003), 316—322 | DOI | MR | Zbl

[3] Ruitenburg W., “Basic predicate calculus”, Notre Dame J. Form. Log., 39:1 (1998), 18–46 | DOI | MR | Zbl

[4] Konovalov A.Yu., “Arifmeticheskaya realizuemost i bazisnaya logika”, Vestn. Mosk. un-ta. Matem. Mekhan., 2016, no. 1, 52–56 | Zbl

[5] Ardeshir M., “A translation of intuitionistic predicate logic into basic predicate logic”, Stud. Log., 62 (1999), 341—352 | DOI | MR | Zbl

[6] Viter D.A., Primitivno-rekursivnaya realizuemost i logika predikatov, Dep. v VINITI 06.08.2001, No 1830-V2001, M., 2001

[7] Viter D.A., Primitivno-rekursivnaya realizuemost i konstruktivnaya teoriya modelei, Kand. dis., M., 2001

[8] Klini S.K., Vvedenie v metamatematiku, IL, M., 1957

[9] Plisko V.E., “Absolyutnaya realizuemost predikatnykh formul”, Izv. AN SSSP. Ser. matem., 47:2 (1983), 315–334 | MR