The following pages link to (Q4143289):
Displayed 8 items.
- The complexity of computable categoricity (Q471691) (← links)
- Computable torsion abelian groups (Q1688648) (← links)
- Computability-theoretic categoricity and Scott families (Q1740457) (← links)
- A.D. Taimanov and model theory in Kazakhstan (Q2306026) (← links)
- A robuster Scott rank (Q3450085) (← links)
- COMPUTABLE POLISH GROUP ACTIONS (Q4579801) (← links)
- Analytic computable structure theory and $L^p$ spaces (Q4615025) (← links)
- Computable categoricity for algebraic fields with splitting algorithms (Q5246987) (← links)