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

Volume 112 / 2008

Jerzy P/lonka Colloquium Mathematicum 112 (2008), 131-145 MSC: 08A05, 08A35, 08B15, 08B26. DOI: 10.4064/cm112-1-6


Let $\tau$ be a type of algebras without nullary fundamental operation symbols. We call an identity $\varphi\approx\psi$ of type $\tau$ clone compatible if $\varphi$ and $\psi$ are the same variable or the sets of fundamental operation symbols in $\varphi$ and $\psi$ are nonempty and identical. For a variety $\mathcal V$ of type $\tau$ we denote by ${\mathcal V}^{c}$ the variety of type $\tau$ defined by all clone compatible identities from $\mathop{\rm Id}\nolimits(\mathcal V)$. We call ${\mathcal V}^{c}$ the clone extension of $\mathcal V$. In this paper we describe algebras and minimal generics of all subvarieties of ${\mathcal{B}}^{c}$, where $\mathcal B$ is the variety of Boolean algebras.


  • Jerzy P/lonkaInstitute of Mathematics
    Polish Academy of Sciences
    Kopernika 18
    51-617 Wroc/law, Poland

Search for IMPAN publications

Query phrase too short. Type at least 4 characters.

Rewrite code from the image

Reload image

Reload image