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

相关论文

共 50 条

[11] EQUATIONAL THEORY OF CA3 IS UNDECIDABLE - PRELIMINARY-REPORT
MADDUX, R
NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY, 1976, 23 (01): : A19 - A20
[12] Locally finite varieties
Bezhanishvili, G
ALGEBRA UNIVERSALIS, 2001, 46 (04) : 531 - 548
[13] Locally finite varieties
Guram Bezhanishvili
algebra universalis, 2001, 46 : 531 - 548
[14] UNIFICATION IN PERMUTATIVE EQUATIONAL THEORIES IS UNDECIDABLE
SCHMIDTSCHAUSS, M
JOURNAL OF SYMBOLIC COMPUTATION, 1989, 8 (04) : 415 - 421
[15] LOCALLY FINITE RING VARIETIES
ISKANDER, AA
PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY, 1975, 50 (JUL) : 28 - 32
[16] LOCALLY FINITE VARIETIES OF GROUPS
BRYANT, RM
PROCEEDINGS OF THE LONDON MATHEMATICAL SOCIETY, 1972, 24 (APR) : 395 - &
[17] HOMOGENEOUS LOCALLY FINITE VARIETIES
WILLARD, R
ALGEBRA UNIVERSALIS, 1992, 29 (02) : 300 - 301
[18] Locally finite affine complete varieties
Kaarli, K
JOURNAL OF THE AUSTRALIAN MATHEMATICAL SOCIETY SERIES A-PURE MATHEMATICS AND STATISTICS, 1997, 62 : 141 - 159
[19] A characterization of minimal locally finite varieties
Kearnes, KA
Szendrei, A
TRANSACTIONS OF THE AMERICAN MATHEMATICAL SOCIETY, 1997, 349 (05) : 1749 - 1768
[20] Locally finite varieties of Heyting algebras
Bezhanishvili, G
Grigolia, R
ALGEBRA UNIVERSALIS, 2005, 54 (04) : 465 - 473

← 1 2 3 4 5 →