The following pages link to (Q5741407):
Displaying 7 items.
- Categoricity spectra of computable structures (Q2036466) (← links)
- A note on decidable categoricity and index sets (Q2200982) (← links)
- The index set of the groups autostable relative to strong constructivizations (Q2360262) (← links)
- Index set of structures with two equivalence relations that are autostable relative to strong constructivizations (Q2364335) (← links)
- There is no classification of the decidably presentable structures (Q4562439) (← links)
- AUTOMATIC AND POLYNOMIAL-TIME ALGEBRAIC STRUCTURES (Q5207571) (← links)
- Индексное множество автоустойчивых упорядоченных абелевых групп (Q5878775) (← links)
