#### Filter Results:

- Full text PDF available (21)

#### Publication Year

1984

2015

- This year (0)
- Last 5 years (5)
- Last 10 years (15)

#### Publication Type

#### Co-author

#### Journals and Conferences

#### Key Phrases

Learn More

- B. PLOTKIN
- 2002

Some basic notions of classical algebraic geometry can be defined in arbitrary varieties of algebras Θ. For every algebra H in Θ one can consider algebraic geometry in Θ over H. Correspondingly, algebras in Θ are considered with the emphasis on equations and geometry. We give examples of geometric properties of algebras in Θ and of geometric relations… (More)

- B. PLOTKIN
- 2002

- B. PLOTKIN, E. PLOTKIN
- 2014

The paper has a form of a survey on basics of logical geometry and consists of three parts. It is focused on the relationship between many-sorted theory, which leads to logical geometry and one-sorted theory, which is based on important model-theoretic concepts. Our aim is to show that both approaches go in parallel and there are bridges which allow to… (More)

The main objective of this paper is to show that the notion of type which was developed within the frames of logic and model theory has deep ties with geometric properties of algebras. These ties go back and forth from universal algebraic geometry to the model theory through the machinery of algebraic logic. We show that types appear naturally as logical… (More)

- B. PLOTKIN
- 2008

Let Θ be an arbitrary variety of algebras and H an algebra in Θ. Along with algebraic geometry in Θ over the distinguished algebra H, a logical geometry in Θ over H is considered. This insight leads to a system of notions and stimulates a number of new problems. Some logical invariants of algebras H ∈ Θ are introduced and logical relations between different… (More)

- BORIS PLOTKIN
- 2009

The paper is essentially a continuation of [PZ], whose main notion is that of logic-geometrical equivalence of algebras (LG-equivalence of algebras). This equivalence of algebras is stronger than elementary equivalence. In the paper we introduce the notion of isotyped algebras and relate it to LG-equivalence. We show that these notions coincide. The idea of… (More)

- B Plotkin
- 1995

The aim of the paper is discussion of connections between the three kinds of objects named in the title. In a sense, it is a survey of such connections; however, some new directions are also considered. This relates, especially, to sections 3, 4 and 5, where we consider a field that could be understood as an universal algebraic geometry. This geometry is… (More)

- Boris Plotkin
- 2004

Engel groups and Engel elements became popular in 50s. We consider in the paper the more general nil-groups and nil-elements in groups. All these notions are related to nilpotent groups and nilpotent radicals in groups. These notions generate problems which are parallel to Burnside problems for periodic groups. The first three theorems of the paper are… (More)

- Boris I. Plotkin
- IJAC
- 2007

- Boris I. Plotkin, Tatjana L. Plotkin
- Pillars of Computer Science
- 2008