Decidable discriminator varieties from unary varieties Journal Articles

abstract

• AbstractWe 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, Stanley
• Mckenzie, Ralph
• Valeriote, Matthew Anthony

status

• published 

publication date

• December 1991

has subject area

• 0101 Pure Mathematics (FoR)
• 0802 Computation Theory and Mathematics (FoR)
• 2203 Philosophy (FoR)
• General Mathematics (Science Metrix)

published in

• Journal of Symbolic Logic (JSL)  Journal

keywords

• FINITE
• Logic
• Mathematics
• Physical Sciences
• Science & Technology
• Science & Technology - Other Topics

Digital Object Identifier (DOI)

• 10.2307/2275480

start page

• 1355

end page

• 1368

volume

• 56

issue

• 4