Decidable discriminator varieties from unary varieties

Abstract We determine precisely those locally finite varieties of unary algebras of finite type which, when augmented by a ternary discriminator, generate a variety with a decidable theory.