Discriminating varieties

DOI10.1007/BF01191537MaRDI QIDQ1337150zbMATH OpenOpenAlexFDO

Authors Matthew Valeriote, Ross Willard

Publication date 14 May 2001

Published in Algebra Universalis (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/bf01191537

zbMATH Keywords

decidabilitylocally finite varietiesdiscriminator varieties

Mathematics Subject Classification ID

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

Recommendations

• Decidable locally finite discriminator varieties arising from dihedral varieties of groups
• Decidable discriminator varieties with lattice stalks
• Quasi-discriminator varieties
• Decidable discriminator varieties from unary varieties
• Characterization of discriminator varieties

Cites work

• scientific article; zbMATH DE number 3687544 (Why is no real title available?)
• scientific article; zbMATH DE number 3751028 (Why is no real title available?)
• scientific article; zbMATH DE number 3583807 (Why is no real title available?)
• Decidable Discriminator Varieties from Unary Classes
• Decidable discriminator varieties from unary varieties
• Decidable discriminator varieties with lattice stalks
• Finite fixed point algebras are subdiagonalisable
• Iterated discriminator varieties have undecidable theories
• Sheaf Constructions and Their Elementary Properties
• The structure of decidable locally finite varieties

Cited in

(6)

• Decidable Discriminator Varieties from Unary Classes
• Subvarieties of the Variety of Meadows
• A Characterization of Finitely Decidable Congruence Modular Varieties
• Varieties
• Decidable locally finite discriminator varieties arising from dihedral varieties of groups
• Decidable discriminator varieties with lattice stalks

This page was built for publication: Discriminating varieties

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