On locally finite varieties with undecidable equational theory

被引：0

|

作者：

Marcel Jackson

机构：

[1] University of Tasmania,

[2] Hobart,undefined

[3] Australia¶Current address: Department of Mathematics,undefined

[4] La Trobe University,undefined

[5] Victoria 3086,undefined

[6] Australia,undefined

[7] e-mail: m.g.jackson@latrobe.edu.au,undefined

来源：

algebra universalis | 2002年 / 47卷

关键词：

Key words and phrases: Pseudorecursive varieties, word problem, membership problem, decidability, equational theory.;

D O I：

暂无

中图分类号：

学科分类号：

摘要：

引用

收藏

页码：1 / 6

页数：5

相关论文

共 50 条

[31] 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)
[32] Approximate distributive laws and finite equational bases for finite algebras in congruence-distributive varieties
Kirby A. Baker
Ju Wang
algebra universalis, 2005, 54 : 385 - 396
[33] Locally finite varieties with large free spectra
McKenzie, R
ALGEBRA UNIVERSALIS, 2002, 47 (03) : 303 - 318
[34] A CHARACTERIZATION OF CONGRUENCE PERMUTABLE LOCALLY FINITE VARIETIES
VALERIOTE, MA
WILLARD, R
JOURNAL OF ALGEBRA, 1991, 140 (02) : 362 - 369
[35] MINIMAL, LOCALLY FINITE VARIETIES WITH PERMUTING CONGRUENCES
MCKENZIE, R
NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY, 1976, 23 (03): : A354 - A354
[36] Positive universal classes in locally finite varieties
G. Grätzer
R. W. Quackenbush
Algebra universalis, 2010, 64 : 1 - 13
[37] Locally finite monoids in finitely based varieties
Lee, Edmond W. H.
LOGIC JOURNAL OF THE IGPL, 2019, 27 (05) : 743 - 745
[38] Locally finite varieties with large free spectra
Ralph McKenzie
algebra universalis, 2002, 47 : 303 - 318
[39] Positive universal classes in locally finite varieties
Graetzer, G.
Quackenbush, R. W.
ALGEBRA UNIVERSALIS, 2010, 64 (1-2) : 1 - 13
[40] Finiteness properties of locally finite abelian varieties
Kearnes, KA
Willard, R
INTERNATIONAL JOURNAL OF ALGEBRA AND COMPUTATION, 1999, 9 (02) : 157 - 168

← 1 2 3 4 5 →