The following pages link to (Q4190617):
Displayed 7 items.
- The complexity of computable categoricity (Q471691) (← links)
- Analytic computable structure theory and $L^p$ spaces (Q4615025) (← links)
- Coding in the automorphism group of a computably categorical structure (Q4988826) (← links)
- Relativizing computable categoricity (Q5002563) (← links)
- AN INTRODUCTION TO THE SCOTT COMPLEXITY OF COUNTABLE STRUCTURES AND A SURVEY OF RECENT RESULTS (Q5067872) (← links)
- AUTOMATIC AND POLYNOMIAL-TIME ALGEBRAIC STRUCTURES (Q5207571) (← links)
- DEGREES OF CATEGORICITY ON A CONE VIA<i>η</i>-SYSTEMS (Q5738206) (← links)