Theory and Applications of Models of Computation

DOI10.1007/11750321MaRDI QIDQ5898929zbMATH OpenOpenAlexFDO

Authors Yue Yang, Liang Yu

Publication date 30 April 2007

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/11750321

Mathematics Subject Classification ID

Computable structure theory, computable model theory (03C57) Other Turing degree structures (03D28) Hierarchies of computability and definability (03D55)

Recommendations

• On Σ₁-Structural Differences Among Finite Levels of the Ershov Hierarchy
• Definability and elementary equivalence in the Ershov difference hierarchy
• On genericity and Ershov's hierarchy
• scientific article; zbMATH DE number 701093
• On universal pairs in the Ershov hierarchy
• Properties of numberings in various levels of the Ershov hierarchy
• Some properties of the numberings of various classes in the Ershov hierarchy
• The Ershov hierarchy
• Ershov hierarchy

Cited in

(2)

• Definability and elementary equivalence in the Ershov difference hierarchy
• Elementary Differences Among Jump Hierarchies

This page was built for publication: Theory and Applications of Models of Computation

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