Publications Meetings The Profession Membership Programs Math Samplings Policy & Advocacy In the News About the AMS

Mobile Device Pairing
Green Open Access
Transactions of the American Mathematical Society
Transactions of the American Mathematical Society
ISSN 1088-6850(online) ISSN 0002-9947(print)


Decidable discriminator varieties from unary classes

Author: Ross Willard
Journal: Trans. Amer. Math. Soc. 336 (1993), 311-333
MSC: Primary 08A50; Secondary 03B25, 03C05, 08A60
MathSciNet review: 1085938
Full-text PDF Free Access

Abstract | References | Similar Articles | Additional Information

Abstract: Let $ \mathcal{K}$ be a class of (universal) algebras of fixed type. $ {\mathcal{K}^t}$ denotes the class obtained by augmenting each member of $ \mathcal{K}$ by the ternary discriminator function $ (t(x,y,z) = x$ if $ x \ne y,t(x,x,z) = z)$, while $ \vee ({\mathcal{K}^t})$ is the closure of $ {\mathcal{K}^t}$ under the formation of subalgebras, homomorphic images, and arbitrary Cartesian products. For example, the class of Boolean algebras is definitionally equivalent to $ \vee ({\mathcal{K}^t})$ where $ \mathcal{K}$ consists of a two-element algebra whose only operations are the two constants. Any equationally defined class (that is, variety) of algebras which is equivalent to some $ \vee ({\mathcal{K}^t})$ is known as a discriminator variety.

Building on recent work of S. Burris, R. McKenzie, and M. Valeriote, we characterize those locally finite universal classes $ \mathcal{K}$ of unary algebras of finite type for which the first-order theory of $ \vee ({\mathcal{K}^t})$ is decidable.

References [Enhancements On Off] (What's this?)

Similar Articles

Retrieve articles in Transactions of the American Mathematical Society with MSC: 08A50, 03B25, 03C05, 08A60

Retrieve articles in all journals with MSC: 08A50, 03B25, 03C05, 08A60

Additional Information

PII: S 0002-9947(1993)1085938-8
Article copyright: © Copyright 1993 American Mathematical Society