Decision problems concerning properties of finite sets of equations

DOI10.2307/2273945zbMath0589.08006OpenAlexW2094961759MaRDI QIDQ3717106

Cornelia Kalfa

Publication date: 1986

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2273945

zbMATH Keywords

undecidabilityfirst-order theoryinfinite modelsalgebraic languagemodel-completefinite sets of \({\mathcal L}\)-equations

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Equational logic, Mal'tsev conditions (08B05) Equational classes, universal algebra in model theory (03C05)

Related Items (2)

An equational logic sampler ⋮ A field guide to equational logic

Cites Work

• Base-undecidable properties of universal varieties
• Unsolvable problems for equational theories
• Decidable properties of finite sets of equations in trivial languages

This page was built for publication: Decision problems concerning properties of finite sets of equations