B. Plotkin, E. Plotkin, G. Zhitomirskii, “Type of a point in Universal Geometry and in Model Theory”, Algebra Discrete Math., 2015, том 19, выпуск 1,страницы 87

Эта публикация цитируется в 2 статьях

RESEARCH ARTICLE

Type of a point in Universal Geometry and in Model Theory

B. Plotkin^a, E. Plotkin^b, G. Zhitomirskii^b

^a Institute of Mathematics, Hebrew University of Jerusalem
^b Bar-Ilan University, Department of Mathematics

Аннотация: 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.

Ключевые слова: type of a point, universal algebraic geometry, logical geometry, multi-sorted algebra, affine space, Halmos algebra.

MSC: 08, 02, 08C05, 03G15

Поступила в редакцию: 01.03.2015
Исправленный вариант: 01.03.2015

Язык публикации: английский