Displaying similar documents to “An algorithm for free algebras”

Constructions over tournaments

Jaroslav Ježek (2003)

Czechoslovak Mathematical Journal

Similarity:

We investigate tournaments that are projective in the variety that they generate, and free algebras over partial tournaments in that variety. We prove that the variety determined by three-variable equations of tournaments is not locally finite. We also construct infinitely many finite, pairwise incomparable simple tournaments.

Super-De Morgan functions and free De Morgan quasilattices

Yuri Movsisyan, Vahagn Aslanyan (2014)

Open Mathematics

Similarity:

A De Morgan quasilattice is an algebra satisfying hyperidentities of the variety of De Morgan algebras (lattices). In this paper we give a functional representation of the free n-generated De Morgan quasilattice with two binary and one unary operations. Namely, we define the concept of super-De Morgan function and prove that the free De Morgan quasilattice with two binary and one unary operations on nfree generators is isomorphic to the De Morgan quasilattice of super-De Morgan functions...