A sufficient condition for finite decidability

DOI10.1007/BF01233917MaRDI QIDQ1272241zbMATH OpenFDO

Authors Michael Albert

Publication date 24 November 1998

Published in Algebra Universalis (Search for Journal in Brave)

zbMATH Keywords

locally finite varietyfinitely generated varietycongruence permutabilityfinite decidability

Mathematics Subject Classification ID

Model theory of finite structures (03C13) Decidability of theories and sets of sentences (03B25) Subdirect products and subdirect irreducibility (08B26)

Recommendations

• Finitely Decidable Congruence Modular Varieties
• A Characterization of Finitely Decidable Congruence Modular Varieties
• Varieties with decidable finite algebras. II: Permutability
• scientific article; zbMATH DE number 125210

Cites work

• scientific article; zbMATH DE number 4035895 (Why is no real title available?)
• scientific article; zbMATH DE number 3554283 (Why is no real title available?)
• Decidability of Second-Order Theories and Automata on Infinite Trees
• Decidability problem for finite Heyting algebras
• Finitely Decidable Congruence Modular Varieties
• Reduced sub-powers and the decision problem for finite algebras in arithmetical varieties
• Sheaf Constructions and Their Elementary Properties
• The structure of finite algebras
• Varieties with decidable finite algebras. I: Linearity
• Varieties with decidable finite algebras. II: Permutability

Cited in

(13)

• Finitely determined arithmetical varieties need not be universally- finite
• Bounding essential arities of term operations in finitely decidable varieties
• scientific article; zbMATH DE number 125210 (Why is no real title available?)
• scientific article; zbMATH DE number 14392 (Why is no real title available?)
• Profiniteness in finitely generated varieties is undecidable
• Criterion for propositional calculi to be finitely generated
• Decidable unary varieties
• Type 2 subdirectly irreducible algebras in finitely decidable varieties
• Decidability of elementary theories of certain finitely defined algebras
• Finitary PCF is not decidable
• Varieties with decidable finite algebras. II: Permutability
• A geometric generalization of Kaplansky’s direct finiteness conjecture
• Finitely Decidable Congruence Modular Varieties

This page was built for publication: A sufficient condition for finite decidability

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