The Hausdorff-Ershov hierarchy in Euclidean spaces

DOI10.1007/S00153-005-0317-8MaRDI QIDQ818930zbMATH OpenOpenAlexFDO

Authors Armin Hemmerling

Publication date 22 March 2006

Published in Archive for Mathematical Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s00153-005-0317-8

zbMATH Keywords

computable analysiseffective descriptive set theoryErshov's hierarchyglobal and local depth of setsHausdorff's difference hierarchyresolvable setstopological arithmetical hierarchy

Mathematics Subject Classification ID

Hierarchies of computability and definability (03D55) Descriptive set theory (03E15) Higher-type and set recursion theory (03D65)

Recommendations

• Characterizations of the class Δ^ta₂ over Euclidean spaces
• Effective topological spaces. II: A hierarchy
• On the difference hierarchy in countably based \(T_{0}\)-spaces
• scientific article; zbMATH DE number 3851066
• Mathematical Foundations of Computer Science 2003

Cites work

• scientific article; zbMATH DE number 3732038 (Why is no real title available?)
• scientific article; zbMATH DE number 3788601 (Why is no real title available?)
• scientific article; zbMATH DE number 52121 (Why is no real title available?)
• scientific article; zbMATH DE number 722611 (Why is no real title available?)
• scientific article; zbMATH DE number 1460545 (Why is no real title available?)
• scientific article; zbMATH DE number 3255437 (Why is no real title available?)
• scientific article; zbMATH DE number 3291134 (Why is no real title available?)
• Approximate decidability in euclidean spaces
• Characterizations of the class Δ^ta₂ over Euclidean spaces
• Classical recursion theory. The theory of functions and sets of natural numbers
• Computability on computable metric spaces
• Computational complexity of real functions
• Descriptive set theory
• Effective metric spaces and representations of the reals.
• On approximate and algebraic computability over the real numbers
• Recursive Structures and Ershov's Hierarchy
• Wadge Degrees ofω-Languages of Deterministic Turing Machines

Cited in

(12)

• On the difference hierarchy in countably based \(T_{0}\)-spaces
• Effective topological spaces. II: A hierarchy
• Fine hierarchies and m-reducibilities in theoretical computer science
• Characterizations of the class Δ^ta₂ over Euclidean spaces
• Hierarchies of function classes defined by the first-value operator
• Non-collapse of the effective Wadge hierarchy
• scientific article; zbMATH DE number 3851066 (Why is no real title available?)
• Towards a descriptive set theory for domain-like structures
• Descriptive complexity of \(\mathsf{qc} \mathsf{b}_0\)-spaces
• Towards the Effective Descriptive Set Theory
• Function operators spanning the arithmetical and the polynomial hierarchy
• Non-collapse of the effective wadge hierarchy

This page was built for publication: The Hausdorff-Ershov hierarchy in Euclidean spaces

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