Equivalence structures and isomorphisms in the difference hierarchy

DOI10.2178/jsl/1243948326zbMath1196.03049OpenAlexW2023547119MaRDI QIDQ3630578

Douglas Cenzer, Geoffrey L. LaForte, Jeffery B. Remmel

Publication date: 4 June 2009

Published in: The Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2178/jsl/1243948326

zbMATH Keywords

difference hierarchycomputable categoricityequivalence structureslevels of categoricity

Mathematics Subject Classification ID

Computable structure theory, computable model theory (03C57)

Related Items

Generically and coarsely computable isomorphisms, The branching theorem and computable categoricity in the Ershov hierarchy, \(\Sigma_1^0\) and \(\Pi_1^0\) equivalence structures, Computable categoricity and the Ershov hierarchy, $\Sigma^0_1$ and $\Pi^0_1$ Equivalence Structures, Effective Categoricity of Injection Structures, Computability-theoretic properties of injection structures

Cites Work

• Effective categoricity of equivalence structures