Pages that link to "Item:Q958489"
From MaRDI portal
The following pages link to Computable categoricity and the Ershov hierarchy (Q958489):
Displaying 6 items.
- \(\Sigma_1^0\) and \(\Pi_1^0\) equivalence structures (Q639658) (← links)
- The branching theorem and computable categoricity in the Ershov hierarchy (Q887636) (← links)
- Rogers semilattices for families of equivalence relations in the Ershov hierarchy (Q2313294) (← links)
- On Σ<sup>1</sup> <sub>1</sub> equivalence relations over the natural numbers (Q3117786) (← links)
- $\Sigma^0_1$ and $\Pi^0_1$ Equivalence Structures (Q3576042) (← links)
- Isomorphism relations on computable structures (Q5388722) (← links)
