A Characterization of Finitely Decidable Congruence Modular Varieties

DOI10.1090/S0002-9947-97-01904-1zbMath0861.08009MaRDI QIDQ3127568

Paweł M. Idziak

Publication date: 9 April 1997

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

zbMATH Keywords

congruence modularitystructure theoryfinite decidability

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)

Related Items (4)

Neutrabelian algebras ⋮ Bounding essential arities of term operations in finitely decidable varieties ⋮ Algebras from congruences ⋮ CLONES CONTAINING MAL'TSEV OPERATIONS

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Finite equational bases for congruence modular varieties
• Nilpotent and solvable radicals in locally finite congruence modular varieties
• Reduced sub-powers and the decision problem for finite algebras in arithmetical varieties
• Varieties with decidable finite algebras. II: Permutability
• The structure of decidable locally finite varieties
• Finitary decidability implies congruence permutability for congruence modular varieties
• Discriminating varieties
• A property of the solvable radical in finitely decidable varieties
• Finitely Decidable Congruence Modular Varieties
• Decidability and Boolean representations
• Decidable discriminator varieties from unary varieties
• Decidable Discriminator Varieties from Unary Classes
• The structure of finite algebras
• Hereditary undecidability of some theories of finite structures
• Decidability of Second-Order Theories and Automata on Infinite Trees
• On direct products of theories
• Elementary properties of Abelian groups

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