On finitely-related and free algebras of cantor varieties

被引：0
作者：
L. V. Shabunin
机构：
来源：
Siberian Mathematical Journal | 1997年 / 38卷
关键词：
Normal Form; Word Problem; Elementary Theory; Free Algebra; Closed Formula;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
页码：389 / 400
页数：11
相关论文
共 50 条
[41]   ALGEBRAIC LOGIC AND LOGICALLY-GEOMETRIC TYPES IN VARIETIES OF ALGEBRAS [J].
Plotkin, Boris ;
Aladova, Elena ;
Plotkin, Eugene .
JOURNAL OF ALGEBRA AND ITS APPLICATIONS, 2013, 12 (02)
[42]   Recursive inseparability of the sets of identically valid and finitely refutable formulas of some elementary theories of varieties [J].
V. I. Ursu .
Siberian Mathematical Journal, 2000, 41 :578-591
[43]   Recursive inseparability of the sets of identically valid and finitely refutable formulas of some elementary theories of varieties [J].
Ursu, VI .
SIBERIAN MATHEMATICAL JOURNAL, 2000, 41 (03) :578-591
[44]   The Freiheitssatz and automorphisms for free brace algebras [J].
Li, Yu ;
Mo, Qiuhui ;
Zhao, Xiangui .
COMMUNICATIONS IN ALGEBRA, 2019, 47 (10) :4125-4136
[45]   Free Łukasiewicz and Hoop Residuation Algebras [J].
Joel Berman ;
W. J. Blok .
Studia Logica, 2004, 77 (2) :153-180
[46]   Primitive elements of free nonassociative algebras [J].
Mikhalev A.A. ;
Mikhalev A.V. ;
Chepovskiy A.A. ;
Champagnier K. .
Journal of Mathematical Sciences, 2009, 156 (2) :320-335
[47]   On free MV algebras and a problem of Tarski [J].
Di Nola, Antonio ;
Lenzi, Giacomo ;
Vitale, Gaetano .
MATHEMATICAL LOGIC QUARTERLY, 2016, 62 (03) :232-240
[48]   UNDECIDABILITY OF EQUATIONS IN FREE LIE ALGEBRAS [J].
Kharlampovich, Olga ;
Myasnikov, Alexei .
TRANSACTIONS OF THE AMERICAN MATHEMATICAL SOCIETY, 2019, 371 (04) :2987-2999
[49]   Topologically free subsets of universal algebras [J].
E. G. Zelenyuk .
Ukrainian Mathematical Journal, 1997, 49 (5) :724-734
[50]   Free generic Poisson fields and algebras [J].
Kaygorodov, Ivan ;
Shestakov, Ivan ;
Umirbaev, Ualbai .
COMMUNICATIONS IN ALGEBRA, 2018, 46 (04) :1799-1812
12345