scientific article; zbMATH DE number 5263141
From MaRDI portal
Publication:5457380
zbMath1157.03012MaRDI QIDQ5457380
Publication date: 14 April 2008
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
surveyalgorithmic complexitycomputable structurescomputable categoricityScott rank\(\Pi_1^1\)-definability
Computable structure theory, computable model theory (03C57) Theory of numerations, effectively presented structures (03D45)
Related Items (2)
Isomorphisms and algorithmic properties of structures with two equivalences ⋮ Categoricity and complexity of relations over algebraic structures
This page was built for publication:
