scientific article; zbMATH DE number 1746555
From MaRDI portal
Publication:4532124
zbMATH Open0993.20037MaRDI QIDQ4532124FDOQ4532124
Authors: Vladimir Popov
Publication date: 28 May 2002
Full work available at URL: https://eudml.org/doc/49370
Title of this publication is not available (Why is that?)
Recommendations
Decidability of theories and sets of sentences (03B25) Lattices of varieties (08B15) Free semigroups, generators and relations, word problems (20M05) Varieties and pseudovarieties of semigroups (20M07)
Cited In (16)
- Finite semigroups whose varieties have uncountably many subvarieties
- A delay theorem for pointlikes
- Decidability of equational theories for subsignatures of relation algebra
- Compactness of Systems of Equations in Semigroups
- IDENTITIES IN THE ALGEBRA OF PARTIAL MAPS
- Title not available (Why is that?)
- Some decidable theories with finitely many covers which are decidable and algorithmically found
- Decidability of the elementary theory of universal semifields of the second kind
- Covering relation for equational theories of commutative semigroups
- Algebras defined by equations
- Non-covering in the interpretability lattice of equational theories
- Flat algebras and the translation of universal Horn logic to equational logic
- Title not available (Why is that?)
- Decidability of the representation extension property for finite semigroups
- The equational theory of a nontrivial discriminator variety is co-NP-hard
- Separability and decidability results for varieties of Jónsson dynamic algebras
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 Q4532124)