Geodesic
Modified realizability and predicate logic
Matematičeskie zametki, Tome 61 (1997) no. 2, pp. 259-269 Cet article a éte moissonné depuis la source Math-Net.Ru

Voir la notice de l'article

Semantics of predicate formulas based on the notion of modified realizability for arithmetic formulas and interpretations of the language of arithmetic in all finite types are considered. For a number of natural constructive interpretations, the corresponding predicate logic of modified realizability is proved to be nonarithmetical. 
@article{MZM_1997_61_2_a7,
     author = {V. E. Plisko},
     title = {Modified realizability and predicate logic},
     journal = {Matemati\v{c}eskie zametki},
     pages = {259--269},
     year = {1997},
     volume = {61},
     number = {2},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/MZM_1997_61_2_a7/}
}
TY  - JOUR
AU  - V. E. Plisko
TI  - Modified realizability and predicate logic
JO  - Matematičeskie zametki
PY  - 1997
SP  - 259
EP  - 269
VL  - 61
IS  - 2
UR  - http://geodesic.mathdoc.fr/item/MZM_1997_61_2_a7/
LA  - ru
ID  - MZM_1997_61_2_a7
ER  - 
%0 Journal Article
%A V. E. Plisko
%T Modified realizability and predicate logic
%J Matematičeskie zametki
%D 1997
%P 259-269
%V 61
%N 2
%U http://geodesic.mathdoc.fr/item/MZM_1997_61_2_a7/
%G ru
%F MZM_1997_61_2_a7
V. E. Plisko. Modified realizability and predicate logic. Matematičeskie zametki, Tome 61 (1997) no. 2, pp. 259-269. http://geodesic.mathdoc.fr/item/MZM_1997_61_2_a7/

[1] Kleene S. C., “On the interpretation of intuitionistic number theory”, J. Symbolic Logic, 10:4 (1945), 109–124 | DOI | MR | Zbl

[2] Shanin N. A., “O nekotorykh logicheskikh problemakh arifmetiki”, Tr. MIAN, 43, Nauka, M., 1955, 3–112 | MR | Zbl

[3] Varpakhovskii F. L., “K voprosu ob aksiomatizatsii realizuemykh propozitsionalnykh formul”, Dokl. AN SSSR, 314:1 (1990), 32–36

[4] Plisko V. E., “O realizuemykh predikatnykh formulakh”, Dokl. AN SSSR, 212:3 (1973), 553–556 | MR | Zbl

[5] Plisko V. E., “Nearifmetichnost klassa realizuemykh predikatnykh formul”, Izv. AN SSSR. Ser. matem., 41:3 (1977), 483–502 | MR | Zbl

[6] Kreisel G., “Interpretation of analysis by means of constructive functionals of finite type”, Constructivity in Math., North-Holland, Amsterdam, 1959, 101–128 | MR

[7] Tennenbaum S., “Non-archimedean systems of arithmetic”, Not. Amer. Math. Soc., 6:3 (1959), 270–283

[8] Plisko V. E., Formalizatsiya teoremy Tennenbauma i ee primeneniya, Dep. VINITI, No 1853–92

[9] Plisko V. E., “Konstruktivnaya formalizatsiya teoremy Tennenbauma i ee primeneniya”, Matem. zametki, 48:3 (1990), 108–118 | MR | Zbl

[10] Troelstra A. S. (ed.), Metamathematical investigation of intuitionistic arithmetic and analysis, Lect. Notes in Math., 344, Springer Verlag, Berlin, 1973

[11] Klini S. K., Vvedenie v matematiku, IL, M., 1957

[12] Rodzhers Kh., Teoriya rekursivnykh funktsii i effektivnaya vychislimost, Mir, M., 1972