Geodesic
Representing the models by the finite trees
The Bulletin of Irkutsk State University. Series Mathematics, Tome 5 (2012) no. 1, pp. 48-56

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

In the article the apparatus of the finite formula trees for algebra-logical models is designed. The apparatus represents the elementary equivalency and decidability of the models.
Keywords: first order theories; models; elementary equivalency; decidability. 
@article{IIGUM_2012_5_1_a4,
     author = {Yu. D. Korolkov},
     title = {Representing the models by the finite trees},
     journal = {The Bulletin of Irkutsk State University. Series Mathematics},
     pages = {48--56},
     publisher = {mathdoc},
     volume = {5},
     number = {1},
     year = {2012},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/IIGUM_2012_5_1_a4/}
}
TY  - JOUR
AU  - Yu. D. Korolkov
TI  - Representing the models by the finite trees
JO  - The Bulletin of Irkutsk State University. Series Mathematics
PY  - 2012
SP  - 48
EP  - 56
VL  - 5
IS  - 1
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/IIGUM_2012_5_1_a4/
LA  - ru
ID  - IIGUM_2012_5_1_a4
ER  - 
%0 Journal Article
%A Yu. D. Korolkov
%T Representing the models by the finite trees
%J The Bulletin of Irkutsk State University. Series Mathematics
%D 2012
%P 48-56
%V 5
%N 1
%I mathdoc
%U http://geodesic.mathdoc.fr/item/IIGUM_2012_5_1_a4/
%G ru
%F IIGUM_2012_5_1_a4
Yu. D. Korolkov. Representing the models by the finite trees. The Bulletin of Irkutsk State University. Series Mathematics, Tome 5 (2012) no. 1, pp. 48-56. http://geodesic.mathdoc.fr/item/IIGUM_2012_5_1_a4/