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 条

[1] A finitely axiomatizable undecidable equational theory with recursively solvable word problems
Delic, D
TRANSACTIONS OF THE AMERICAN MATHEMATICAL SOCIETY, 2000, 352 (07) : 3065 - 3101
[2] ∀∃5-equational theory of context unification is undecidable
Vorobyov, S
THEORETICAL COMPUTER SCIENCE, 2002, 275 (1-2) : 463 - 479
[3] A Complete Finite Axiomatisation of the Equational Theory of Common Meadows
Bergstra, Jan A.
Tucker, John v
ACM TRANSACTIONS ON COMPUTATIONAL LOGIC, 2025, 26 (01)
[4] The equational theory of the weak Bruhat order on finite symmetric groups
Santocanale, Luigi
Wehrung, Friedrich
JOURNAL OF THE EUROPEAN MATHEMATICAL SOCIETY, 2018, 20 (08) : 1959 - 2003
[5] ON THE EQUATIONAL THEORY OF PROJECTION LATTICES OF FINITE VON NEUMANN FACTORS
Herrmann, Christian
JOURNAL OF SYMBOLIC LOGIC, 2010, 75 (03) : 1102 - 1110
[6] On equational theories of classes of finite rings
V. Y. Popov
Siberian Mathematical Journal, 1999, 40 : 556 - 564
[7] On equational theories of classes of finite rings
Popov, VY
SIBERIAN MATHEMATICAL JOURNAL, 1999, 40 (03) : 556 - 564
[8] On the decidability of equational theories of varieties of rings
V. Yu. Popov
Mathematical Notes, 1998, 63 : 770 - 776
[9] On the decidability of equational theories of varieties of rings
Popov, VY
MATHEMATICAL NOTES, 1998, 63 (5-6) : 770 - 776
[10] On equational theories of varieties of anticommutative rings
V. Yu. Popov
Mathematical Notes, 1999, 65 : 188 - 201

← 1 2 3 4 5 →