The following pages link to (Q3091709):
Displaying 8 items.
- Abelian \(p\)-groups and the halting problem (Q306578) (← links)
- \(\Sigma_1^0\) and \(\Pi_1^0\) equivalence structures (Q639658) (← links)
- Computability-theoretic categoricity and Scott families (Q1740457) (← links)
- Effective categoricity of automatic equivalence and nested equivalence structures (Q2195573) (← links)
- Classifications of definable subsets (Q2300934) (← links)
- Degrees of bi-embeddable categoricity of equivalence structures (Q2312081) (← links)
- On \(\Delta_2^0\)-categoricity of equivalence relations (Q2346952) (← links)
- Equivalence structures and isomorphisms in the difference hierarchy (Q3630578) (← links)
