The following pages link to (Q5295697):
Displayed 5 items.
- Model-theoretic complexity of automatic structures (Q636281) (← links)
- Special issue: Selected papers of the workshop on model theory and computable model theory, Gainesville, FL, USA, February 5--10, 2007 (Q1005921) (← links)
- Categoricity of computable infinitary theories (Q1005932) (← links)
- Model Theoretic Complexity of Automatic Structures (Extended Abstract) (Q3502675) (← links)
- ASSIGNING AN ISOMORPHISM TYPE TO A HYPERDEGREE (Q5107233) (← links)