Decidable discriminator varieties from unary varieties

descriptionPublicationkeyboard_double_arrow_right Article 01 Dec 1991 English Publisher:Cambridge University Press (CUP)Journal:Journal of Symbolic Logic, volume 56, pages 1,355-1,368 (issn: 0022-4812, eissn: 1943-5886,

Copyright policy )

Authors: Stanley Burris; Ralph McKenzie; Matthew Valeriote;

doi: 10.2307/2275480

Decidable discriminator varieties from unary varieties

- Summary
- Subjects
- Metrics

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.

Related Organizations

University of Waterloo
Canada
McMaster University
Canada
University of California, Berkeley
United States

Keywords

decidable theory, Decidability of theories and sets of sentences, Varieties, Unary algebras, Model-theoretic algebra, ternary discriminator, unary algebras

Impact byBIP!

	selected citations These citations are derived from selected sources. This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).	10
	popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network.	Average
	influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).	Top 10%
	impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network.	Top 10%