The Ershov hierarchy

MaRDI QIDQ2906563zbMATH OpenFDO

Authors M. M. Arslanov

Publication date 5 September 2012

zbMATH Keywords

tutorialdifference hierarchyErshov hierarchy\(\Delta_2^0\) sets\(n\)-c.e. sets

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Other Turing degree structures (03D28) Hierarchies of computability and definability (03D55)

Recommendations

• Turing degrees and the Ershov hierarchy
• Relative enumerability in Ershov's hierarchy
• Turing jumps in the Ershov hierarchy
• Post's Programme for the Ershov Hierarchy
• Ershov hierarchy

Cited in

(20)

• Definability and elementary equivalence in the Ershov difference hierarchy
• Strongly -representable degrees and limitwise monotonic functions
• Turing jumps in the Ershov hierarchy
• On universal pairs in the Ershov hierarchy
• Avoiding uniformity in the \(\Delta_2^0\) enumeration degrees
• \textit{CEA} operators and the ershov hierarchy
• Equivalence structures and isomorphisms in the difference hierarchy
• A classification of low c.e. sets and the Ershov hierarchy
• Theory and Applications of Models of Computation
• Definable relations in Turing degree structures
• Post's Programme for the Ershov Hierarchy
• Marat Mirzaevich Arslanov (on his eightieth birthday)
• Properties of numberings in various levels of the Ershov hierarchy
• Turing degrees and the Ershov hierarchy
• Normalizing notations in the Ershov hierarchy
• A conjecture of Ershov for a relative hierarchy fails near \({\mathcal O}\)
• Relative enumerability in Ershov's hierarchy
• Weak density and nondensity among transfinite levels of the Ershov hierarchy
• Ershov hierarchy
• Hierarchy of limiting computations

This page was built for publication: The Ershov hierarchy

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2906563)