On the Difference Hierarchy in Countably Based T0-Spaces

DOI10.1016/j.entcs.2008.12.022zbMath1262.03092MaRDI QIDQ4918020

Victor L. Selivanov

Publication date: 3 May 2013

Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.entcs.2008.12.022

zbMATH Keywords

difference hierarchy; \(k\)-partition; \(\omega\)-continuous domain; computably enumerable space; limit hierarchy

Mathematics Subject Classification ID

03F60: Constructive and recursive analysis

54D10: Lower separation axioms ((T_0)--(T_3), etc.)

54H05: Descriptive set theory (topological aspects of Borel, analytic, projective, etc. sets)

03D78: Computation over the reals, computable analysis

Related Items

Towards a descriptive theory of cb₀-spaces, Borel and Hausdorff hierarchies in topological spaces of Choquet games and their effectivization, Wadge hardness in Scott spaces and its effectivization, Wadge-like reducibilities on arbitrary quasi-Polish spaces, Some hierarchies of QCB₀-spaces, Some notes on spaces of ideals and computable topology, Descriptive complexity of \(\mathsf{qc} \mathsf{b}_0\)-spaces, Towards the Effective Descriptive Set Theory

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• The Hausdorff-Ershov hierarchy in Euclidean spaces
• Towards a descriptive set theory for domain-like structures
• On the Wadge reducibility of \(k\)-partitions
• Ershov hierarchy
• Hierarchy of limiting computations
• Topology and descriptive set theory
• Hierarchies in?-spaces and applications
• Characterizations of the class Δ^ta₂ over Euclidean spaces
• Hierarchies of function classes defined by the first-value operator
• The quotient algebra of labeled forests modulo h-equivalence
• Wadge Degrees ofω-Languages of Deterministic Turing Machines
• Towards Computability over Effectively Enumerable Topological Spaces
• Hierarchies of Δ⁰₂‐measurable k ‐partitions