On Solvable Congruences in Finitely Decidable Varieties

DOI10.1002/MALQ.19940400309MaRDI QIDQ4304097zbMATH OpenOpenAlexFDO

Authors Matthew 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 varietycongruence modularityfinitely decidable varietylocal structure of finite algebraslocally finite varietytame congruence theorytransfer principle

Mathematics Subject Classification ID

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

Recommendations

• Finitely Decidable Congruence Modular Varieties
• A Characterization of Finitely Decidable Congruence Modular Varieties
• A property of the solvable radical in finitely decidable varieties
• Definable principal congruences and solvability
• The decision problem for finite algebras from arithmetical varieties with equationally definable principal congruences
• Finitary decidability implies congruence permutability for congruence modular varieties
• SOME PROPERTIES OF FINITELY DECIDABLE VARIETIES
• A variation on the solvable case of the Dedekind conjecture
• Finite axiomatizability of congruence rich varieties
• On the solvability of certain equations over finite fields

Cites work

• scientific article; zbMATH DE number 3751028 (Why is no real title available?)
• The structure of decidable locally finite varieties
• The structure of finite algebras

Cited in

(9)

• The decision problem for finite algebras from arithmetical varieties with equationally definable principal congruences
• Solvability of context equations with two context variables is decidable
• A property of the solvable radical in finitely decidable varieties
• A Characterization of Finitely Decidable Congruence Modular Varieties
• SOME PROPERTIES OF FINITELY DECIDABLE VARIETIES
• scientific article; zbMATH DE number 1051238 (Why is no real title available?)
• Using resolution for deciding solvable classes and building finite models
• Bounding essential arities of term operations in finitely decidable varieties
• Transfer theorems for finitely subdirectly irreducible algebras

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

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