scientific article; zbMATH DE number 1064596

MaRDI QIDQ4355927zbMATH OpenFDO

Authors Matthew Valeriote

Publication date 17 May 1998

zbMATH Keywords

decidabilitydecidable varietiesdiscriminator varietyfinite decidabilitylocally finite varietysurvey

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Decidability of theories and sets of sentences (03B25) Equational classes, universal algebra in model theory (03C05) Research exposition (monographs, survey articles) pertaining to general algebraic systems (08-02) Equational logic, Mal'tsev conditions (08B05)

Recommendations

• scientific article; zbMATH DE number 125210
• The structure of decidable locally finite varieties
• Finitely Decidable Congruence Modular Varieties
• A sufficient condition for finite decidability

Cited in

(7)

• The structure of decidable locally finite varieties
• Decidable discriminator varieties with lattice stalks
• Decidable locally finite discriminator varieties arising from dihedral varieties of groups
• On the decidability of the PVD class with equality
• scientific article; zbMATH DE number 125210 (Why is no real title available?)
• scientific article; zbMATH DE number 1197054 (Why is no real title available?)
• A decidable variety that is finitely undecidable

This page was built for publication:

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