The join of equational theories
From MaRDI portal
Publication:4081228
DOI10.4064/cm-30-1-15-25zbMath0319.02037OpenAlexW1534253077MaRDI QIDQ4081228
Publication date: 1974
Published in: Colloquium Mathematicum (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.4064/cm-30-1-15-25
Decidability of theories and sets of sentences (03B25) Structure theory of algebraic structures (08A05) Other degrees and reducibilities in computability and recursion theory (03D30) Other classical first-order model theory (03C68)
Related Items
Decidable and undecidable logics with a binary modality, A Mathematical Life, Combining word problems through rewriting in categories with products, Deciding the word problem in the union of equational theories., A new combination procedure for the word problem that generalizes fusion decidability results in modal logics, A simple algebraic proof of the equational interpolation theorem, Piecewise initial algebra semantics, Canonization for disjoint unions of theories, The fine spectrum of a variety, Base-undecidable properties of universal varieties
