Equivalence structures and isomorphisms in the difference hierarchy
From MaRDI portal
Recommendations
- \({\Sigma}^0_1\) and \({\Pi}^0_1\) equivalence structures
- Effective categoricity of equivalence structures
- ^0_2-categoricity of equivalence structures
- Effective categoricity of automatic equivalence and nested equivalence structures
- Definable relations in Turing degree structures
- On the problem of definability of the computably enumerable degrees in the difference hierarchy
- The Ershov hierarchy
- Computable isomorphisms of distributive lattices
- \(\Sigma_1^0\) and \(\Pi_1^0\) equivalence structures
- Computable structures and the hyperarithmetical hierarchy
Cited in
(13)- The category of equivalence relations
- Effective categoricity of automatic equivalence and nested equivalence structures
- Difference hierarchies and duality with an application to formal languages
- Computability-theoretic properties of injection structures
- Effective categoricity of equivalence structures
- Effective Categoricity of Injection Structures
- ^0_2-categoricity of equivalence structures
- \({\Sigma}^0_1\) and \({\Pi}^0_1\) equivalence structures
- Structure and Equivalence
- Generically and coarsely computable isomorphisms
- \(\Sigma_1^0\) and \(\Pi_1^0\) equivalence structures
- The branching theorem and computable categoricity in the Ershov hierarchy
- Computable categoricity and the Ershov hierarchy
This page was built for publication: Equivalence structures and isomorphisms in the difference hierarchy
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3630578)
