Birkhoff-style Theorems Through Infinitary Clone Algebras

Antonio Bucciarelli, Pierre-Louis Curien, Arturo De Faveri +1

Building upon the classical article "Representing varieties of algebras by algebras'' by W. D. Neumann, we revisit the famous Birkhoff's HSP theorem in the light of infinitary alge…