Type of a point in Universal Geometry and in Model Theory

B. Plotkin, E. Plotkin, G. Zhitomirski

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

Full Text:

PDF

Refbacks

  • There are currently no refbacks.