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

Hebrew University of Jerusalem
Bar-Ilan University

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 = "Lugansk Taras Shevchenko National University",

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 - https://www.scopus.com/pages/publications/84930162541

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