Uniform Birkhoff


We show that pseudovarieties of finitely generated algebras, i.e., classes C of finitely generated algebras closed under finite products, homomorphic images, and subalgebras, can be described via a uniform structure UC on the free algebra for C: the members of C then are precisely those finitely generated algebras A for which the natural mapping from the… (More)

1 Figure or Table


  • Presentations referencing similar topics