On Solvable Congruences in Finitely Decidable Varieties

DOI10.1002/MALQ.19940400309zbMath0811.08003OpenAlexW2005916591MaRDI QIDQ4304097

Matthew A. Valeriote

Publication date: 1 May 1995

Published in: Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1002/malq.19940400309

zbMATH Keywords

abelian varietytame congruence theorycongruence modularitylocally finite varietytransfer principlefinitely decidable varietylocal structure of finite algebras

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Equational logic, Mal'tsev conditions (08B05) Subalgebras, congruence relations (08A30) Model theory of finite structures (03C13) Structure theory of algebraic structures (08A05) Congruence modularity, congruence distributivity (08B10)

Cites Work

• Unnamed Item
• The structure of decidable locally finite varieties
• The structure of finite algebras

Related Items (2)

Bounding essential arities of term operations in finitely decidable varieties ⋮ A Characterization of Finitely Decidable Congruence Modular Varieties

This page was built for publication: On Solvable Congruences in Finitely Decidable Varieties