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):
Displaying 13 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)
- Scott ranks of models of a theory (Q1644961) (← links)
- The countable admissible ordinal equivalence relation (Q2400501) (← links)
- COMPUTABLE ABELIAN GROUPS (Q2795203) (← links)
- The isomorphism problem on classes of automatic structures with transitive relations (Q2847190) (← links)
- Some new computable structures of high rank (Q4636764) (← links)
- SCOTT COMPLEXITY OF COUNTABLE STRUCTURES (Q5021936) (← links)
- AN INTRODUCTION TO THE SCOTT COMPLEXITY OF COUNTABLE STRUCTURES AND A SURVEY OF RECENT RESULTS (Q5067872) (← links)
- ASSIGNING AN ISOMORPHISM TYPE TO A HYPERDEGREE (Q5107233) (← links)
- Isomorphism relations on computable structures (Q5388722) (← links)
- THE COMPLEXITY OF SCOTT SENTENCES OF SCATTERED LINEAR ORDERS (Q5855748) (← links)
- STRUCTURAL HIGHNESS NOTIONS (Q6140191) (← links)
