scientific article
From MaRDI portal
Publication:3820590
zbMath0668.03015MaRDI QIDQ3820590
Publication date: 1988
Full work available at URL: https://eudml.org/doc/187439
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Other degrees and reducibilities in computability and recursion theory (03D30) Computable structure theory, computable model theory (03C57) Theory of numerations, effectively presented structures (03D45)
Related Items (5)
Recursive unary algebras and trees ⋮ 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
This page was built for publication: