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 条
  • [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