The Hausdorff-Ershov hierarchy in Euclidean spaces

DOI10.1007/S00153-005-0317-8zbMATH Open1095.03031OpenAlexW1999287632MaRDI QIDQ818930FDOQ818930

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

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

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)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Descriptive set theory
• Title not available (Why is that?)
• Classical recursion theory. The theory of functions and sets of natural numbers
• Wadge Degrees ofω-Languages of Deterministic Turing Machines
• Recursive Structures and Ershov's Hierarchy
• Computational complexity of real functions
• Title not available (Why is that?)
• Computability on computable metric spaces
• Title not available (Why is that?)
• On approximate and algebraic computability over the real numbers
• Effective metric spaces and representations of the reals.
• Characterizations of the class Δ^ta₂ over Euclidean spaces
• Approximate decidability in euclidean spaces

Cited In (12)

• 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
• Title not available (Why is that?)
• 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
• On the difference hierarchy in countably based \(T_{0}\)-spaces

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)