Base-undecidable properties of universal varieties

DOI10.1007/BF02485829zbMATH Open0356.08005MaRDI QIDQ1237797FDOQ1237797

Don Pigozzi

Publication date: 1976

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

Mathematics Subject Classification ID

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

Cites Work

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

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
• 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\)
• A Mathematical Life
• 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)