Reduced sub-powers and the decision problem for finite algebras in arithmetical varieties

DOI10.1007/BF01229982zbMath0671.03004OpenAlexW2033603815MaRDI QIDQ1119619

Paweł M. Idziak

Publication date: 1988

Published in: Algebra Universalis (Search for Journal in Brave)

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

zbMATH Keywords

subdirect productsfinite algebrasfinitely generated arithmetical varietyreduced sub-powers

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Equational classes, universal algebra in model theory (03C05) Other model constructions (03C30)

Related Items (9)

Bjarni Jónsson's contributions in algebra ⋮ European Summer Meeting of the Association for Symbolic Logic ⋮ The decision problem for finite algebras from arithmetical varieties with equationally definable principal congruences ⋮ Reduced sub-powers and the decision problem for finite algebras in arithmetical varieties ⋮ Varieties with decidable finite algebras. I: Linearity ⋮ Finitely Decidable Congruence Modular Varieties ⋮ FAST ISOMORPHISM TESTING IN ARITHMETICAL VARIETIES ⋮ A sufficient condition for finite decidability ⋮ A Characterization of Finitely Decidable Congruence Modular Varieties

Cites Work

• Undecidability of free pseudo-complemented semilattices
• Undecidability of relatively free Hilbert algebras
• Reduced sub-powers and the decision problem for finite algebras in arithmetical varieties
• Prevarieties of associative rings whose elementary theory is decidable
• The structure of decidable locally finite varieties
• Undecidability of Brouwerian semilattices
• Decidability problem for finite Heyting algebras
• Global subdirect products
• Decidability and Boolean representations
• Complete and model-complete theories of monadic algebras
• Sheaf Constructions and Their Elementary Properties
• Algebras Whose Congruence Lattices are Distributive.
• Decidability of Second-Order Theories and Automata on Infinite Trees
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Reduced sub-powers and the decision problem for finite algebras in arithmetical varieties