Base-undecidable properties of universal varieties
From MaRDI portal
Cites work
- scientific article; zbMATH DE number 3505280 (Why is no real title available?)
- scientific article; zbMATH DE number 3339390 (Why is no real title available?)
- scientific article; zbMATH DE number 3377224 (Why is no real title available?)
- scientific article; zbMATH DE number 3086810 (Why is no real title available?)
- Amalgamation, congruence-extension, and interpolation properties in algebras
- Identical relations and decision procedures for groups
- Identical relations in groups. I
- Identical relations in loops, I
- Joins and Direct Products of Equational Classes
- On Group-Theoretic Decision Problems and Their Classification. (AM-68)
- On Schreier varieties of groups
- On Two Properties of Free Algebras.
- On some Schreier varieties of universal algebras
- On spectra, and the negative solution of the decision problem for identities having a finite nontrivial model
- On the Structure of Equationally Complete Varieties. II
- Recursive unsolvability of group theoretic problems
- Schreier varieties of groups
- Symmetric operations in groups
- The decision problem for equational bases of algebras
- The fine spectrum of a variety
- The join of equational theories
- The lattice of semigroup varieties
- Undecidable properties of finite sets of equations
- Universal equational theories and varieties of algebras
- Unsolvable problems for equational theories
- Varieties of groups
Cited in
(14)- Some undecidability results in strong algebraic languages
- Alfred Tarski and undecidable theories
- The reverse spelling of an FPrt-universal word in two letters
- A field guide to equational logic
- The diamond lemma for ring theory
- Decision problems concerning properties of finite sets of equations
- A mathematical life
- Craig's theorem in superintuitionistic logics and amalgamable varieties of pseudo-Boolean algebras
- An equational logic sampler
- Bjarni Jónsson's contributions in algebra
- Covering in the lattice of equational theories and some properties of term finite theories
- When is a term point universal?
- Universal terms of the form B^nA^m
- Finite groupoids without finite bases for their identities
This page was built for publication: Base-undecidable properties of universal varieties
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1237797)
