Finite axiomatizability for equational theories of computable groupoids
From MaRDI portal
Publication:3470464
DOI10.2307/2274762zbMath0695.03023MaRDI QIDQ3470464
Publication date: 1989
Published in: Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2307/2274762
03D25: Recursively (computably) enumerable sets and degrees
03C57: Computable structure theory, computable model theory
03D45: Theory of numerations, effectively presented structures
11U99: Connections of number theory and logic
Related Items
THE FINITE BASIS PROBLEM FOR INVOLUTION SEMIGROUPS OF TRIANGULAR MATRICES, Equational theories of unstable involution semigroups, Equational theories of semigroups with involution.
Cites Work