ON SOME OF LOGICAL CLOSURES ON UNIVERSAL ALGEBRAS

被引：1

作者：

Pinus, Alexandr Georgievich ^{[1
]}

机构：

[1] Novosibirsk State Tech Univ, Pr K Marxa 20, Novosibirsk 630073, Russia

来源：

SIBERIAN ELECTRONIC MATHEMATICAL REPORTS-SIBIRSKIE ELEKTRONNYE MATEMATICHESKIE IZVESTIYA | 2015年 / 12卷

关键词：

algebraic geometry; universal algebra; closure operator;

D O I：

10.17377/semi.2015.12.055

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

B. I. Plotkin has introduced some concepts of logical geometries on universal algebras. Here we study one of the related logical closure operators on sets of elements of an algebra definable by quantifier-free formulas using some quasiorder on the basic set of this algebra.

引用

页码：698 / 703

页数：6

共 10 条

[1] Unification theorems in algebraic geometry [J].

Daniyarova, E. ;

Myasnikov, A. ;

Remeslennikov, V. .

ASPECTS OF INFINITE GROUPS, 2008, 1 :80-+

[2]

[Пинус Александр Георгиевич Pinus A.G.], 2011, [Алгебра и логика, Algebra i logika], V50, P209

[3]

Pinus A. G., 2001, USP MAT NAUK, V56, P35

[4]

PINUS AG, 2015, SIBIRSKIY MATEMATICH, V56

[5]

PINUS AG, 2001, USLOVNYYE TERMY I IK

[6]

PINUS AG, IZVESTIYA VUZOV MATE

[7]

Plotkin, 1997, ALGEBR ANAL, V9, P224

[8]

Plotkin B., 2007, ALGEBR ANAL, V19, P214

[9] Isotyped Algebras [J].

Plotkin, B. I. .

PROCEEDINGS OF THE STEKLOV INSTITUTE OF MATHEMATICS, 2012, 278 :S91-S115

[10] Some results and problems related to universal algebraic geometry [J].

Plotkin, Boris .

INTERNATIONAL JOURNAL OF ALGEBRA AND COMPUTATION, 2007, 17 (5-6) :1133-1164

← 1 →