Decidable Discriminator Varieties from Unary Classes

DOI10.2307/2154349MaRDI QIDQ4038454zbMATH OpenOpenAlexFDO

Authors Ross Willard

Publication date 16 May 1993

Full work available at URL https://doi.org/10.2307/2154349

zbMATH Keywords

decidable first-order theorydiscriminator varietylocally finite universal classesternary discriminator functionunary algebras of finite type

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Equational classes, universal algebra in model theory (03C05) Unary algebras (08A60)

Recommendations

• Decidable discriminator varieties from unary varieties
• Decidable discriminator varieties with lattice stalks
• scientific article; zbMATH DE number 125210
• Decidable unary varieties
• Characterization of discriminator varieties

Cites work

• A decidable variety that is finitely undecidable
• A note on ℵ0-categorical model-companions
• Decidability and Boolean representations
• Decidability of Second-Order Theories and Automata on Infinite Trees
• Decidable discriminator varieties from unary varieties
• Decidable discriminator varieties with lattice stalks
• Discriminating varieties
• Equational compactness in quasi-primal varieties
• scientific article; zbMATH DE number 3987347 (Why is no real title available?)
• scientific article; zbMATH DE number 3751028 (Why is no real title available?)
• scientific article; zbMATH DE number 3528226 (Why is no real title available?)
• scientific article; zbMATH DE number 3550696 (Why is no real title available?)
• scientific article; zbMATH DE number 3443699 (Why is no real title available?)
• scientific article; zbMATH DE number 3316934 (Why is no real title available?)
• Iterated discriminator varieties have undecidable theories
• Monadic algebras with finite degree
• Sheaf Constructions and Their Elementary Properties
• The first order properties of products of algebraic systems
• The structure of decidable locally finite varieties

Cited in

(12)

• Quantifier elimination in discriminator varieties
• Decidable unary varieties
• Discriminator varieties and symbolic computation
• Decidable discriminator varieties with lattice stalks
• Discriminating varieties
• Implicit definition of the quaternary discriminator
• Decidable locally finite discriminator varieties arising from dihedral varieties of groups
• A Characterization of Finitely Decidable Congruence Modular Varieties
• Decidable discriminator varieties from unary varieties
• scientific article; zbMATH DE number 1138596 (Why is no real title available?)
• Characterization of discriminator varieties
• scientific article; zbMATH DE number 966890 (Why is no real title available?)

This page was built for publication: Decidable Discriminator Varieties from Unary Classes

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4038454)