Geodesic
Predicate logics of expressively strong theories
Matematičeskie zametki, Tome 66 (1999) no. 5, pp. 777-788.

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

@article{MZM_1999_66_5_a13,
     author = {R. \`E. Yavorskii},
     title = {Predicate logics of expressively strong theories},
     journal = {Matemati\v{c}eskie zametki},
     pages = {777--788},
     publisher = {mathdoc},
     volume = {66},
     number = {5},
     year = {1999},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/MZM_1999_66_5_a13/}
}
TY  - JOUR
AU  - R. È. Yavorskii
TI  - Predicate logics of expressively strong theories
JO  - Matematičeskie zametki
PY  - 1999
SP  - 777
EP  - 788
VL  - 66
IS  - 5
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/MZM_1999_66_5_a13/
LA  - ru
ID  - MZM_1999_66_5_a13
ER  - 
%0 Journal Article
%A R. È. Yavorskii
%T Predicate logics of expressively strong theories
%J Matematičeskie zametki
%D 1999
%P 777-788
%V 66
%N 5
%I mathdoc
%U http://geodesic.mathdoc.fr/item/MZM_1999_66_5_a13/
%G ru
%F MZM_1999_66_5_a13
R. È. Yavorskii. Predicate logics of expressively strong theories. Matematičeskie zametki, Tome 66 (1999) no. 5, pp. 777-788. http://geodesic.mathdoc.fr/item/MZM_1999_66_5_a13/

[1] Lifshits V. A., “Deduktivnaya obscheznachimost i klassy svedeniya”, Zapiski nauch. sem. LOMI, 4, Nauka, L., 1967, 69–77 | MR

[2] Plisko V. E., “Nekotorye varianty ponyatiya realizuemosti dlya predikatnykh formul”, Izv. AN SSSR. Ser. matem., 42:3 (1978), 636–653 | MR

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

[4] Plisko V. E., “Ob arifmeticheskoi slozhnosti nekotorykh predikatnykh logik”, Matem. zametki, 52:1 (1992), 94–104 | MR

[5] Vardanyan V. A., “Predikatnaya logika dokazuemosti bez dokazuemosti”, Intensionalnye logiki i logicheskaya struktura teorii, Tbilisi, 1988, 65–69

[6] Artemov S., Montagna F., “On first-order theories with provability operator”, J. Symbolic Logic, 59:4 (1994), 1139–1153 | DOI | MR | Zbl

[7] Yavorsky R. E., “Logical Schemes for First-Order Theories”, Lecture Notes in Comuter Science, 1234, 1997, 410–418 | MR | Zbl

[8] Yavorskii R. E., “Predikatnye logiki razreshimykh fragmentov arifmetiki”, Vestn. MGU. Ser. 1 Matem., mekh., 1998, no. 2, 12–16 | MR | Zbl

[9] Yavorskii R. E., “Razreshimye logiki pervogo poryadka”, Fundamentalnaya i prikladnaya matematika, 4:2 (1998), 733–749 | MR | Zbl

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

[11] Ershov Yu. L., Problemy razreshimosti i konstruktivnye modeli, Nauka, M., 1980

[12] Hilbert D., Bernays P., Grundlagen der Mathematik, V. II, Springer-Verlag, New York–Berlin–Heidelberg–Tokyo, 1968

[13] Feferman S., “Arithmetization of metamathematics in a general setting”, Fund. Math., 49 (1960), 35–92 | MR | Zbl

[14] Robinson J., “Definability and decision problem in arithmetic”, J. Symbolic Logic, 14:2 (1949), 98–114 | DOI | MR | Zbl

[15] Bukhshtab A. A., Teoriya chisel, Uchpedgiz, M., 1960

[16] Belegradek O. V., Teoriya modelei unitreugolnykh i ekzistentsialno zamknutykh grupp, Diss. $\dots $ d.f.-m.n., NGU, 1995