Free algebras over biregularizations of varieties (Q1270660)

A biregular identity \(\phi=\psi\) is one where the same operator symbols and variables appear in \(\phi\) and \(\psi\). The biregularization \(K_b\) of a variety \(K\) is the class of all models of all the biregular identities of \(K\). In the spirit of previous papers by the same author on the regular case, the article first constructs the free algebras over \(K_b\) from the corresponding ones in \(K\). In the second part (attributed by the author to Joel Berman), this construction is applied to derive a formula for the spectrum of the biregularization of a certain family of varieties, which includes the variety of Boolean algebras.