B. Plotkin, E. Plotkin, G. Zhitomirskii, “Type of a point in Universal Geometry and in Model Theory”, Algebra Discrete Math., 2015, Volume 19, Issue 1,Pages <nobr>87

This article is cited in 2 papers

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

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.

MSC: 08, 02, 08C05, 03G15

Received: 01.03.2015
Revised: 01.03.2015

Language: English