Pages that link to "Item:Q5477636"
From MaRDI portal
The following pages link to Computable trees of Scott rank <i>ω</i><sub>1</sub><sup><i>CK</i></sup>, and computable approximation (Q5477636):
Displayed 6 items.
- 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)
- The isomorphism problem on classes of automatic structures with transitive relations (Q2847190) (← links)
- Model Theoretic Complexity of Automatic Structures (Extended Abstract) (Q3502675) (← links)
- 2008 Annual Meeting of the Association for Symbolic Logic (Q3616439) (← links)
- Isomorphism relations on computable structures (Q5388722) (← links)