Currently displaying 1 – 20 of 23

Showing per page

Order by Relevance | Title | Year of publication

Minimal generics from subvarieties of the clone extension of the variety of Boolean algebras

Jerzy Płonka — 2008

Colloquium Mathematicae

Let τ be a type of algebras without nullary fundamental operation symbols. We call an identity φ ≈ ψ of type τ clone compatible if φ and ψ are the same variable or the sets of fundamental operation symbols in φ and ψ are nonempty and identical. For a variety of type τ we denote by c the variety of type τ defined by all clone compatible identities from Id(). We call c the clone extension of . In this paper we describe algebras and minimal generics of all subvarieties of c , where is the variety of...

The lattice of subvarieties of the biregularization of the variety of Boolean algebras

Jerzy Płonka — 2001

Discussiones Mathematicae - General Algebra and Applications

Let τ: F → N be a type of algebras, where F is a set of fundamental operation symbols and N is the set of all positive integers. An identity φ ≈ ψ is called biregular if it has the same variables in each of it sides and it has the same fundamental operation symbols in each of it sides. For a variety V of type τ we denote by V b the biregularization of V, i.e. the variety of type τ defined by all biregular identities from Id(V). Let B be the variety of Boolean algebras of type τ b : + , · , ´ N , where τ b ( + ) = τ b ( · ) = 2 and τ b ( ´ ) = 1 . In...

Page 1 Next

Download Results (CSV)