SOME PROPERTIES OF FINITELY DECIDABLE VARIETIES

DOI10.1142/S0218196792000074MaRDI QIDQ4024646zbMATH OpenOpenAlexFDO

Authors Ross Willard, Matthew Valeriote

Publication date 8 February 1993

Published in International Journal of Algebra and Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1142/s0218196792000074

zbMATH Keywords

decidable first-order theoryprime quotientstransfer principles

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Equational logic, Mal'tsev conditions (08B05) Congruence modularity, congruence distributivity (08B10) Subdirect products and subdirect irreducibility (08B26)

Recommendations

• scientific article; zbMATH DE number 125210
• A property of the solvable radical in finitely decidable varieties
• The structure of decidable locally finite varieties
• A decidable variety that is finitely undecidable
• Decidable properties of logical calculi and of varieties of algebras
• Varieties with decidable finite algebras. I: Linearity
• A Characterization of Finitely Decidable Congruence Modular Varieties
• On Solvable Congruences in Finitely Decidable Varieties
• scientific article; zbMATH DE number 47296

Cited in

(9)

• A Characterization of Finitely Decidable Congruence Modular Varieties
• Finitely Decidable Congruence Modular Varieties
• A decidable variety that is finitely undecidable
• On Solvable Congruences in Finitely Decidable Varieties
• Hereditary undecidability of some theories of finite structures
• All Finitely Axiomatizable Normal Extensions of K4.3 are Decidable
• Bounding essential arities of term operations in finitely decidable varieties
• On the Direct Decomposition of Nilpotent Expanded Groups
• Term Rewriting and Applications

This page was built for publication: SOME PROPERTIES OF FINITELY DECIDABLE VARIETIES

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