Decidability of elementary theories of certain finitely defined algebras

DOI10.1007/BF01985064zbMATH Open0772.03003MaRDI QIDQ1803020FDOQ1803020

Authors: L. V. Shabunin 

Publication date: 29 June 1993

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

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

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)

Cites Work

• On theories with a combinatorial definition of 'equivalence'
• Title not available (Why is that?)
• Title not available (Why is that?)
• Confluent Reductions: Abstract Properties and Applications to Term Rewriting Systems
• The Word Problem for Abstract Algebras
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Solution of the basic algorithmic problems in some classes of quasigroups with identities
• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (14)

• Some new results on decidability for elementary algebra and geometry
• Title not available (Why is that?)
• 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
• Title not available (Why is that?)
• 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)