Type of a point in universal geometry and in model theory

B. Plotkin; E. Plotkin; G. Zhitomirski

Type of a point in universal geometry and in model theory

B. Plotkin, E. Plotkin, G. Zhitomirski

Department of Mathematics

Research output: Contribution to journal › Article › peer-review

2 Scopus citations

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.

Original language	English
Pages (from-to)	87-100
Number of pages	14
Journal	Algebra and Discrete Mathematics
Volume	19
Issue number	1
State	Published - 2015

Bibliographical note

Publisher Copyright:
© Journal “Algebra and Discrete Mathematics”.

Keywords

Affine space
Halmos algebra
Logical geometry
Multi-sorted algebra
Type of a point
Universal algebraic geometry

Cite this

@article{13e289c91beb4be3a914933dffe92c48,

title = "Type of a point in universal geometry and in model theory",

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 = "Affine space, Halmos algebra, Logical geometry, Multi-sorted algebra, Type of a point, Universal algebraic geometry",

author = "B. Plotkin and E. Plotkin and G. Zhitomirski",

note = "Publisher Copyright: {\textcopyright} Journal “Algebra and Discrete Mathematics”.",

year = "2015",

language = "אנגלית",

volume = "19",

pages = "87--100",

journal = "Algebra and Discrete Mathematics",

issn = "1726-3255",

publisher = "Institute of Applied Mathematics And Mechanics of the National Academy of Sciences of Ukraine",

number = "1",

}

TY - JOUR

T1 - Type of a point in universal geometry and in model theory

AU - Plotkin, B.

AU - Plotkin, E.

AU - Zhitomirski, G.

N1 - Publisher Copyright: © Journal “Algebra and Discrete Mathematics”.

PY - 2015

Y1 - 2015

N2 - 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.

AB - 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.

KW - Affine space

KW - Halmos algebra

KW - Logical geometry

KW - Multi-sorted algebra

KW - Type of a point

KW - Universal algebraic geometry

UR - http://www.scopus.com/inward/record.url?scp=84930162541&partnerID=8YFLogxK

M3 - ???researchoutput.researchoutputtypes.contributiontojournal.article???

AN - SCOPUS:84930162541

SN - 1726-3255

VL - 19

SP - 87

EP - 100

JO - Algebra and Discrete Mathematics

JF - Algebra and Discrete Mathematics

IS - 1

ER -

Type of a point in universal geometry and in model theory

Abstract

Bibliographical note

Keywords

Other files and links

Fingerprint

Cite this