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 条
  • [41] TYPE PRESERVATION IN LOCALLY FINITE VARIETIES WITH THE CEP
    KEARNES, KA
    CANADIAN JOURNAL OF MATHEMATICS-JOURNAL CANADIEN DE MATHEMATIQUES, 1991, 43 (04): : 748 - 769
  • [42] FREE LATTICES IN SOME LOCALLY FINITE VARIETIES
    BERMAN, J
    WOLK, B
    NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY, 1976, 23 (03): : A358 - A358
  • [43] Some varieties of equational logic
    Plotkin, Gordon
    ALGEBRA, MEANING, AND COMPUTATION: ESSAYS DEDICATED TO JOSEPH A. GOGUEN ON THE OCCASION OF HIS 65TH BIRTHDAY, 2006, 4060 : 150 - 156
  • [44] Equational spectrum of Hilbert varieties
    Padmanabhan, R.
    Rudeanu, Sergiu
    CENTRAL EUROPEAN JOURNAL OF MATHEMATICS, 2009, 7 (01): : 66 - 72
  • [45] ON THE EQUATIONAL THEORY OF PROJECTION LATTICES OF FINITE VON NEUMANN FACTORS
    Herrmann, Christian
    JOURNAL OF SYMBOLIC LOGIC, 2010, 75 (03) : 1102 - 1110
  • [46] 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
  • [47] PROFINITENESS IN FINITELY GENERATED VARIETIES IS UNDECIDABLE
    Nurakunov, Anvar M.
    Stronkowski, Michal M.
    JOURNAL OF SYMBOLIC LOGIC, 2018, 83 (04) : 1566 - 1578
  • [48] Applications of Finite Duality to Locally Finite Varieties of BL-Algebras
    Aguzzoli, Stefano
    Bova, Simone
    Marra, Vincenzo
    LOGICAL FOUNDATIONS OF COMPUTER SCIENCE, 2009, 5407 : 1 - +
  • [49] LOCALLY RESIDUALLY FINITE VARIETIES OF LIE-ALGEBRAS
    ZAITSEV, MV
    MATHEMATICAL NOTES, 1988, 44 (3-4) : 674 - 680
  • [50] The structure of locally finite varieties with polynomially many models
    Idziak, Pawel
    McKenzie, Ralph
    Valeriote, Matthew
    JOURNAL OF THE AMERICAN MATHEMATICAL SOCIETY, 2009, 22 (01) : 119 - 165
12345