|
Algebra and Discrete Mathematics, 2015, Volume 19, Issue 1, Pages 87–100
(Mi adm510)
|
|
|
|
This article is cited in 2 scientific papers (total in 2 papers)
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
Abstract:
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, affine space, Halmos algebra.
Received: 01.03.2015 Revised: 01.03.2015
Citation:
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
Linking options:
https://www.mathnet.ru/eng/adm510 https://www.mathnet.ru/eng/adm/v19/i1/p87
|
|