Closed sets of universal Horn formulas for many-sorted (partial) algebras

Peter Burmeister

Displaying similar documents to “Closed sets of universal Horn formulas for many-sorted (partial) algebras”

A generalization of the direct product of universal algebras

Abraham Goetz (1971)

Colloquium Mathematicae

Similarity:

Multiplicity type and subalgebra structure in infinitary universal algebras

Matthew Gould (1971)

Colloquium Mathematicae

Similarity:

Universal algebras with all operations of bounded range

I. G. Rosenberg (1974)

Colloquium Mathematicae

Similarity:

Universal Enveloping Algebras of Nonassociative Structures

Tvalavadze, Marina (2012)

Serdica Mathematical Journal

Similarity:

2010 Mathematics Subject Classification: Primary 17D15. Secondary 17D05, 17B35, 17A99. This is a survey paper to summarize the latest results on the universal enveloping algebras of Malcev algebras, triple systems and Leibniz n-ary algebras.

Note on a representation of universal algebras as subdirect powers

P. Kratochvil (1971)

Colloquium Mathematicae

Similarity:

Algebras over theories

G. C. Wraith (1971)

Colloquium Mathematicae

Similarity:

Not every equational class of infinitary algebras contains a simple algebra

Evelyn Nelson (1974)

Colloquium Mathematicae

Similarity:

Equational compactness in infinitary algebras

Bernhard Banaschewski, Evelyn Nelson (1973)

Colloquium Mathematicae

Similarity:

The class of 2-dimensional neat reducts is not elementary

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...