Geodesic
Type of a point in Universal Geometry and in Model Theory
Algebra and discrete mathematics, Tome 19 (2015) no. 1, pp. 87-100

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

The paper is devoted to relations between model theoretic types and logically geometric types. We show that the notion of isotypic algebras can be equally defined through $MT$-types and $LG$-types.
Keywords: type of a point, universal algebraic geometry, logical geometry, multi-sorted algebra, Halmos algebra.
Mots-clés : affine space 
@article{ADM_2015_19_1_a10,
     author = {B. Plotkin and E. Plotkin and G. Zhitomirskii},
     title = {Type of a point in {Universal} {Geometry} and in {Model} {Theory}},
     journal = {Algebra and discrete mathematics},
     pages = {87--100},
     publisher = {mathdoc},
     volume = {19},
     number = {1},
     year = {2015},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/ADM_2015_19_1_a10/}
}
TY  - JOUR
AU  - B. Plotkin
AU  - E. Plotkin
AU  - G. Zhitomirskii
TI  - Type of a point in Universal Geometry and in Model Theory
JO  - Algebra and discrete mathematics
PY  - 2015
SP  - 87
EP  - 100
VL  - 19
IS  - 1
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/ADM_2015_19_1_a10/
LA  - en
ID  - ADM_2015_19_1_a10
ER  - 
%0 Journal Article
%A B. Plotkin
%A E. Plotkin
%A G. Zhitomirskii
%T Type of a point in Universal Geometry and in Model Theory
%J Algebra and discrete mathematics
%D 2015
%P 87-100
%V 19
%N 1
%I mathdoc
%U http://geodesic.mathdoc.fr/item/ADM_2015_19_1_a10/
%G en
%F ADM_2015_19_1_a10
B. Plotkin; E. Plotkin; G. Zhitomirskii. Type of a point in Universal Geometry and in Model Theory. Algebra and discrete mathematics, Tome 19 (2015) no. 1, pp. 87-100. http://geodesic.mathdoc.fr/item/ADM_2015_19_1_a10/