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 `application/pdf`

.

##
###
Decidable discriminator varieties from unary classes

2018

Abstract: "Let K be a class of (universal) algebras of fixed type. K[superscript t] denotes the class obtained by augmenting each member of K by the ternary discriminator function (t(x,y,z) = x if x [does not equal] y, t(x,x,z) = z), while V(K[superscript t]) is the closure of K[superscript t] under the formulation of subalgebras, homomorphic images, and arbitrary Cartesian products. For example, the class of Boolean algebras is definitionally equivalent to V(K[superscript t]) where K consists

doi:10.1184/r1/6477200
fatcat:jdz4bb7gmfayxb53rwlfiqzh2i