Decidability of elementary theories of certain finitely defined algebras
From MaRDI portal
Publication:1803020
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
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)