Order in absolutely free and related algebras
K. H. Diener (1966)
Colloquium Mathematicae
Similarity:
K. H. Diener (1966)
Colloquium Mathematicae
Similarity:
Leon Henkin, Diane Resek (1975)
Fundamenta Mathematicae
Similarity:
Tarek Sayed Ahmed (2002)
Fundamenta Mathematicae
Similarity:
SC, CA, QA and QEA stand for the classes of Pinter's substitution algebras, Tarski's cylindric algebras, Halmos' quasipolyadic algebras and Halmos' quasipolyadic algebras with equality, respectively. Generalizing a result of Andréka and Németi on cylindric algebras, we show that for K ∈ SC,QA,CA,QEA and any β > 2 the class of 2-dimensional neat reducts of β-dimensional algebras in K is not closed under forming elementary subalgebras, hence is not elementary. Whether this result extends...
Daniel W. Stroock (1976)
Colloquium Mathematicae
Similarity:
Arzumanyan, V.A. (2005)
Zapiski Nauchnykh Seminarov POMI
Similarity:
Cedilnik, A. (2000)
Acta Mathematica Universitatis Comenianae. New Series
Similarity:
G. Grätzer, J. Sichler (1974)
Colloquium Mathematicae
Similarity:
Marcus Tressl (2002)
Banach Center Publications
Similarity:
Kazimierz Urbanik (1969)
Colloquium Mathematicum
Similarity:
Ewa Graczyńska, Andrzej Wroński (1978)
Colloquium Mathematicum
Similarity:
T. P. Speed (1971)
Colloquium Mathematicae
Similarity:
R. Beazer (1974)
Colloquium Mathematicae
Similarity:
Christoph Bandt (1979)
Colloquium Mathematicae
Similarity:
Aldo V. Figallo, Inés Pascual, Gustavo Pelaitay (2020)
Bulletin of the Section of Logic
Similarity:
In 2015, tense n × m-valued Lukasiewicz–Moisil algebras (or tense LMn×m-algebras) were introduced by A. V. Figallo and G. Pelaitay as an generalization of tense n-valued Łukasiewicz–Moisil algebras. In this paper we continue the study of tense LMn×m-algebras. More precisely, we determine a Priestley-style duality for these algebras. This duality enables us not only to describe the tense LMn×m-congruences on a tense LMn×m-algebra, but also to characterize the simple and subdirectly irreducible...
M. G. Stone (1975)
Colloquium Mathematicae
Similarity:
Evelyn Nelson (1974)
Colloquium Mathematicae
Similarity:
Dzhumadil'daev, A. S., Ismailov, N. A., Tulenbaev, K. M. (2011)
Serdica Mathematical Journal
Similarity:
2000 Mathematics Subject Classification: Primary 17A50, Secondary 16R10, 17A30, 17D25, 17C50. Algebras with identities a(bc)=b(ac), (ab)c=(ac)b is called bicommutative. Bases and the cocharacter sequence for free bicommutative algebras are found. It is shown that the exponent of the variety of bicommutaive algebras is equal to 2.