A Characterization of Finitely Decidable Congruence Modular Varieties

DOI10.1090/S0002-9947-97-01904-1MaRDI QIDQ3127568zbMATH OpenFDO

Authors Paweł M. Idziak

Publication date 9 April 1997

Published in Transactions of the American Mathematical Society (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1090/S0002-9947-97-01904-1

zbMATH Keywords

congruence modularityfinite decidabilitystructure theory

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Model theory of finite structures (03C13) Structure theory of algebraic structures (08A05) Congruence modularity, congruence distributivity (08B10) Subdirect products and subdirect irreducibility (08B26)

Recommendations

• Finitely Decidable Congruence Modular Varieties
• Finitary decidability implies congruence permutability for congruence modular varieties
• On Solvable Congruences in Finitely Decidable Varieties
• scientific article; zbMATH DE number 125210
• Finite equational bases for congruence modular varieties
• SOME PROPERTIES OF FINITELY DECIDABLE VARIETIES
• scientific article; zbMATH DE number 2120406
• Definability of directly indecomposable congruence modular algebras
• The decision problem for finite algebras from arithmetical varieties with equationally definable principal congruences
• On the decidability of the theory of modules over the ring of algebraic integers

Cites work

• A property of the solvable radical in finitely decidable varieties
• Decidability and Boolean representations
• Decidability of Second-Order Theories and Automata on Infinite Trees
• Decidable Discriminator Varieties from Unary Classes
• Decidable discriminator varieties from unary varieties
• Discriminating varieties
• Elementary properties of Abelian groups
• Finitary decidability implies congruence permutability for congruence modular varieties
• Finite equational bases for congruence modular varieties
• Finitely Decidable Congruence Modular Varieties
• Hereditary undecidability of some theories of finite structures
• scientific article; zbMATH DE number 4035895 (Why is no real title available?)
• scientific article; zbMATH DE number 3751028 (Why is no real title available?)
• scientific article; zbMATH DE number 3528226 (Why is no real title available?)
• scientific article; zbMATH DE number 3582215 (Why is no real title available?)
• scientific article; zbMATH DE number 3639689 (Why is no real title available?)
• Nilpotent and solvable radicals in locally finite congruence modular varieties
• On direct products of theories
• Reduced sub-powers and the decision problem for finite algebras in arithmetical varieties
• The structure of decidable locally finite varieties
• The structure of finite algebras
• Varieties with decidable finite algebras. II: Permutability

Cited in

(13)

• Varieties with decidable finite algebras. II: Permutability
• A sufficient condition for finite decidability
• Type 2 subdirectly irreducible algebras in finitely decidable varieties
• Neutrabelian algebras
• Algebras from congruences
• A property of the solvable radical in finitely decidable varieties
• The Join Levels of the Trotter-Weil Hierarchy Are Decidable
• Finitely Decidable Congruence Modular Varieties
• SOME PROPERTIES OF FINITELY DECIDABLE VARIETIES
• scientific article; zbMATH DE number 4125456 (Why is no real title available?)
• On Solvable Congruences in Finitely Decidable Varieties
• CLONES CONTAINING MAL'TSEV OPERATIONS
• Bounding essential arities of term operations in finitely decidable varieties

This page was built for publication: A Characterization of Finitely Decidable Congruence Modular Varieties

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