Decidable discriminator varieties from unary varieties

Journal of Symbolic Logic 56 (4):1355-1368 (1991)
  Copy   BIBTEX


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



    Upload a copy of this work     Papers currently archived: 92,923

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library


Added to PP

213 (#97,232)

6 months
6 (#582,229)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Discriminator logics.Matthew Spinks, Robert Bignall & Robert Veroff - 2014 - Australasian Journal of Logic 11 (2).
Hereditary undecidability of some theories of finite structures.Ross Willard - 1994 - Journal of Symbolic Logic 59 (4):1254-1262.

Add more citations

References found in this work

No references found.

Add more references