Home
Scholarly Works
Decidable discriminator varieties from unary...
Journal article

Decidable discriminator varieties from unary varieties

Abstract

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.

Authors

Burris S; Mckenzie R; Valeriote M

Journal

Journal of Symbolic Logic, Vol. 56, No. 4, pp. 1355–1368

Publisher

Cambridge University Press (CUP)

Publication Date

December 1, 1991

DOI

10.2307/2275480

ISSN

0022-4812
View published work (Non-McMaster Users)

Contact the Experts team