Pages that link to "Item:Q3094353"
From MaRDI portal
The following pages link to COMPUTABLE STRUCTURES OF RANK $\omega_{1}^{{\rm CK}}$ (Q3094353):
Displaying 9 items.
- Scott ranks of models of a theory (Q1644961) (← links)
- On the Cantor-Bendixson rank of a set that is searchable in Gödel's \(T\) (Q2799751) (← links)
- (Q3464657) (← 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)
- Computable trees of Scott rank <i>ω</i><sub>1</sub><sup><i>CK</i></sup>, and computable approximation (Q5477636) (← links)
- THE COMPLEXITY OF SCOTT SENTENCES OF SCATTERED LINEAR ORDERS (Q5855748) (← links)