A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is `application/pdf`

.

##
###
Isomorphism Universal Varieties of Heyting Algebras

1990
*
Transactions of the American Mathematical Society
*

A variety V is group universal if every group G is isomorphic to the automorphism group Aut(A) of an algebra A E V; if, in addition, all finite groups are thus representable by finite algebras from V, the variety V is said to be finitely group universal. We show that finitely group universal varieties of Heyting algebras are exactly the varieties which are not generated by chains, and that a chain-generated variety V is group universal just when it contains a four-element chain. Furthermore, we

doi:10.2307/2001347
fatcat:2eegqqmtize2di53c2g2zgsqvy