Publication:3820590
From MaRDI portal
zbMath0668.03015MaRDI QIDQ3820590
Publication date: 1988
Full work available at URL: https://eudml.org/doc/187439
unars; constructive models; autoequivalence; constructivization; reducibilities; essential equivalence
03D30: Other degrees and reducibilities in computability and recursion theory
03C57: Computable structure theory, computable model theory
03D45: Theory of numerations, effectively presented structures
Related Items
Learning algebraic structures from text, Special issue: Selected papers of the workshop on model theory and computable model theory, Gainesville, FL, USA, February 5--10, 2007, Linear orders with distinguished function symbol, Algorithmic dimensions of homomorphic images of models, Recursive unary algebras and trees