Base-undecidable properties of universal varieties

DOI10.1007/BF02485829zbMath0356.08005MaRDI QIDQ1237797

Don Pigozzi

Publication date: 1976

Published in: Algebra Universalis (Search for Journal in Brave)

Mathematics Subject Classification ID

Loops, quasigroups (20N05) Word problems, etc. in computability and recursion theory (03D40) Varieties (08B99)

Related Items

Bjarni Jónsson's contributions in algebra ⋮ Some undecidability results in strong algebraic languages ⋮ Decision problems concerning properties of finite sets of equations ⋮ An equational logic sampler ⋮ A Mathematical Life ⋮ Alfred Tarski and undecidable theories ⋮ When is a term point universal? ⋮ Universal terms of the form \(B^nA^m\) ⋮ Finite groupoids without finite bases for their identities ⋮ A field guide to equational logic ⋮ The diamond lemma for ring theory ⋮ Craig's theorem in superintuitionistic logics and amalgamable varieties of pseudo-Boolean algebras ⋮ The reverse spelling of an FPrt-universal word in two letters ⋮ Covering in the lattice of equational theories and some properties of term finite theories

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Recursive unsolvability of group theoretic problems
• The fine spectrum of a variety
• Schreier varieties of groups
• On Schreier varieties of groups
• Unsolvable problems for equational theories
• The lattice of semigroup varieties
• Amalgamation, congruence-extension, and interpolation properties in algebras
• Identical relations in groups. I
• On Two Properties of Free Algebras.
• Universal equational theories and varieties of algebras
• On the Structure of Equationally Complete Varieties. II
• On spectra, and the negative solution of the decision problem for identities having a finite nontrivial model
• The join of equational theories
• The decision problem for equational bases of algebras
• Undecidable properties of finite sets of equations
• On Group-Theoretic Decision Problems and Their Classification. (AM-68)
• Identical relations and decision procedures for groups
• Varieties of groups
• On some Schreier varieties of universal algebras
• Joins and Direct Products of Equational Classes
• Symmetric operations in groups
• Identical relations in loops, I