On locally finite varieties with undecidable equational theory

被引：5

|

作者：

Jackson, M ^{[1
]}

机构：

[1] Univ Tasmania, Hobart, Tas, Australia

来源：

ALGEBRA UNIVERSALIS | 2002年 / 47卷 / 01期

关键词：

pseudurecursive varieties; word problem; membership problem; decidability; equational theory;

D O I：

10.1007/s00012-002-8169-0

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

[No abstract available]

引用

收藏

页码：1 / 6

页数：6

相关论文

共 46 条

[11] On equational theories of varieties of anticommutative rings
Popov, VY
MATHEMATICAL NOTES, 1999, 65 (1-2) : 188 - 201
[12] AN EQUATIONAL THEORY FOR A NILPOTENT A-LOOP
Kowalski, A. V.
Ursu, V. I.
ALGEBRA AND LOGIC, 2010, 49 (04) : 326 - 339
[13] An equational theory for a nilpotent A-loop
A. V. Kowalski
V. I. Ursu
Algebra and Logic, 2010, 49 : 326 - 339
[14] An equational theory for trilattices
Biedermann, K
ALGEBRA UNIVERSALIS, 1999, 42 (04) : 253 - 268
[15] Decidability of equational theories of coverings of semigroup varieties
Popov, VY
SIBERIAN MATHEMATICAL JOURNAL, 2001, 42 (06) : 1132 - 1141
[16] Decidability of Equational Theories of Coverings of Semigroup Varieties
V. Yu. Popov
Siberian Mathematical Journal, 2001, 42 : 1132 - 1141
[17] An equational theory for trilattices
K. Biedermann
algebra universalis, 1999, 42 : 253 - 268
[18] The equational theory of Kleene lattices
Andreka, Hajnal
Mikulas, Szabolcs
Nemeti, Istvan
THEORETICAL COMPUTER SCIENCE, 2011, 412 (52) : 7099 - 7108
[19] The equational theory of regular words
Bloom, SL
Ésik, Z
INFORMATION AND COMPUTATION, 2005, 197 (1-2) : 55 - 89
[20] Decidability of the Equational Theory of the Continuous Geometry CG(F)
Harding, John
JOURNAL OF PHILOSOPHICAL LOGIC, 2013, 42 (03) : 461 - 465

← 1 2 3 4 5 →