论文信息 - Decidable discriminator varieties from unary varieties

Decidable discriminator varieties from unary varieties

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.

[1] Ross Willard. Decidable discriminator varieties from unary classes , 1993 .

[2] Stanley Burris,et al. Iterated discriminator varieties have undecidable theories , 1985 .

[3] Stanley Burris,et al. A course in universal algebra , 1981, Graduate texts in mathematics.

[4] Ralph McKenzie,et al. Finite forbidden lattices , 1983 .

[5] Stephen D. Comer. Monadic Algebras with finite degree , 1975 .

[6] Bradd Hart,et al. A structure theorem for strongly abelian varieties with few models , 1991, Journal of Symbolic Logic.

[7] Ralph McKenzie. On Spectra, and the Negative Solution of the Decision Problem for Identities having a Finite Nontrivial Model , 1975, J. Symb. Log..

[8] Stanley Burris,et al. Decidability and Boolean Representations , 1981 .

[9] Ю.Л. Ершов,et al. Разрешимость элементарной теории дистрибутивных структур с относительными дополнениями и теории фильтров , 1964 .

[10] Matatyahu Rubin,et al. The theory of boolean algebras with a distinguished subalgebra is undecidable , 1976 .

[11] D. Hobby,et al. The structure of finite algebras , 1988 .

[12] S. Burris,et al. Sheaf constructions and their elementary properties , 1979 .

[13] Y. Ershov. Relatively complemented, distributive lattices , 1979 .

[14] Matthew Valeriote. Decidable unary varieties , 1987 .