Decidability of elementary theories of certain finitely defined algebras

DOI10.1007/BF01985064MaRDI QIDQ1803020zbMATH OpenFDO

Authors L. V. Shabunin

Publication date 29 June 1993

Published in Algebra and Logic (Search for Journal in Brave)

zbMATH Keywords

decidable first order theoryfinitely defined algebra

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Word problems (aspects of algebraic structures) (08A50)

Recommendations

• scientific article; zbMATH DE number 4120153
• A sufficient condition for finite decidability
• Decidability of the theories of certain infinite, finitely presented quasigroups
• On decidability of theories of finitely generated quasigroups in \(R\)- varieties of groups
• A decidable variety that is finitely undecidable

Cites work

• scientific article; zbMATH DE number 3771547 (Why is no real title available?)
• scientific article; zbMATH DE number 3579079 (Why is no real title available?)
• scientific article; zbMATH DE number 3999904 (Why is no real title available?)
• scientific article; zbMATH DE number 3299786 (Why is no real title available?)
• scientific article; zbMATH DE number 3348165 (Why is no real title available?)
• scientific article; zbMATH DE number 3065870 (Why is no real title available?)
• scientific article; zbMATH DE number 3090158 (Why is no real title available?)
• Confluent Reductions: Abstract Properties and Applications to Term Rewriting Systems
• On theories with a combinatorial definition of 'equivalence'
• Solution of the basic algorithmic problems in some classes of quasigroups with identities
• The Word Problem for Abstract Algebras

Cited in

(14)

• Some new results on decidability for elementary algebra and geometry
• scientific article; zbMATH DE number 177484 (Why is no real title available?)
• The decidability of some classes of Stone algebras
• The decision problem for finite algebras from arithmetical varieties with equationally definable principal congruences
• Decidability of the elementary theory of universal semifields of the second kind
• Decidability in elementary analysis. I
• All Finitely Axiomatizable Normal Extensions of K4.3 are Decidable
• Decidability of the elementary theory of a finitely defined quasigroup
• Alfred Tarski and decidable theories
• Computer Science Logic
• Decidability of the theories of certain infinite, finitely presented quasigroups
• The existence of a near-unanimity term in a finite algebra is decidable
• scientific article; zbMATH DE number 4120153 (Why is no real title available?)
• On finitely presented and free algebras of Cantor varieties

This page was built for publication: Decidability of elementary theories of certain finitely defined algebras

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