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 (10)
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
This page was built for publication: The join of equational theories