scientific article; zbMATH DE number 4179358
From MaRDI portal
Publication:3203010
zbMATH Open0716.03032MaRDI QIDQ3203010FDOQ3203010
Authors: B. Bayasgalan
Publication date: 1988
Title of this publication is not available (Why is that?)
Recommendations
Model-theoretic algebra (03C60) Decidability of theories and sets of sentences (03B25) Undecidability and degrees of sets of sentences (03D35) Varieties and pseudovarieties of semigroups (20M07)
Cited In (12)
- Elementary theories of completely simple semigroups
- Title not available (Why is that?)
- Elementary classification and decidability of theories of derived structures
- Decidability of the elementary theory of universal semifields of the second kind
- Decidability of elementary theories of lattices of subsemigroups
- Theories of first order of integer semigroup rings
- Title not available (Why is that?)
- A formal derivation of the decidability of the theory SA
- Title not available (Why is that?)
- Decidability of the elementary theory of a finitely defined quasigroup
- Decidability of the theories of certain infinite, finitely presented quasigroups
- Decidability of the representation extension property for finite semigroups
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3203010)