A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is
We prove that certain lattices can be represented as the lattices of relative subvarieties and relative congruences of differential groupoids and unary algebras. This representation result implies that there are continuum many quasivarieties of differential groupoids such that the sets of isomorphism types of finite sublattices of their lattices of relative subvarieties and congruences are not computable. A similar result is obtained for unary algebras and their lattices of relativedoi:10.33048/semi.2020.17.054 fatcat:q5m4ckyrdbc3vlttngmzaernee