Geodesic
Decidable first order logics
Fundamentalʹnaâ i prikladnaâ matematika, Tome 4 (1998) no. 2, pp. 733-749.

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

The logic $\mathcal L(T)$ of arbitrary first order theory $T$ is the set of predicate formulae, provable in $T$ under every interpretation into the language of $T$. It is proved, that for the theory of equation and the theory of dense linear order without minimal and maximal elements $\mathcal L(T)$ is decidable, but can not be axiomatized by any set of schemes with restricted arity. On the other hand, for most of the expressively strong theories $\mathcal L(T)$ turn out to be undecidable. 
@article{FPM_1998_4_2_a18,
     author = {R. \`E. Yavorskii},
     title = {Decidable first order logics},
     journal = {Fundamentalʹna\^a i prikladna\^a matematika},
     pages = {733--749},
     publisher = {mathdoc},
     volume = {4},
     number = {2},
     year = {1998},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/FPM_1998_4_2_a18/}
}
TY  - JOUR
AU  - R. È. Yavorskii
TI  - Decidable first order logics
JO  - Fundamentalʹnaâ i prikladnaâ matematika
PY  - 1998
SP  - 733
EP  - 749
VL  - 4
IS  - 2
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/FPM_1998_4_2_a18/
LA  - ru
ID  - FPM_1998_4_2_a18
ER  - 
%0 Journal Article
%A R. È. Yavorskii
%T Decidable first order logics
%J Fundamentalʹnaâ i prikladnaâ matematika
%D 1998
%P 733-749
%V 4
%N 2
%I mathdoc
%U http://geodesic.mathdoc.fr/item/FPM_1998_4_2_a18/
%G ru
%F FPM_1998_4_2_a18
R. È. Yavorskii. Decidable first order logics. Fundamentalʹnaâ i prikladnaâ matematika, Tome 4 (1998) no. 2, pp. 733-749. http://geodesic.mathdoc.fr/item/FPM_1998_4_2_a18/