|
Algebra and Discrete Mathematics, 2015, том 19, выпуск 1, страницы 87–100
(Mi adm510)
|
|
|
|
Эта публикация цитируется в 2 научных статьях (всего в 2 статьях)
RESEARCH ARTICLE
Type of a point in Universal Geometry and in Model Theory
B. Plotkina, E. Plotkinb, G. Zhitomirskiib 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.
Поступила в редакцию: 01.03.2015 Исправленный вариант: 01.03.2015
Образец цитирования:
B. Plotkin, E. Plotkin, G. Zhitomirskii, “Type of a point in Universal Geometry and in Model Theory”, Algebra Discrete Math., 19:1 (2015), 87–100
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/adm510 https://www.mathnet.ru/rus/adm/v19/i1/p87
|
|