A Characterization of Finitely Decidable Congruence Modular Varieties
From MaRDI portal
Publication:3127568
DOI10.1090/S0002-9947-97-01904-1zbMath0861.08009MaRDI QIDQ3127568
Publication date: 9 April 1997
Published in: Transactions of the American Mathematical Society (Search for Journal in Brave)
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