Wadge-like reducibilities on arbitrary quasi-Polish spaces
From MaRDI portal
Publication:5740679
Abstract: The structure of the Wadge degrees on zero-dimensional spaces is very simple (almost well-ordered), but for many other natural non-zero-dimensional spaces (including the space of reals) this structure is much more complicated. We consider weaker notions of reducibility, including the so-called Delta^0_alpha-reductions, and try to find for various natural topological spaces X the least ordinal alpha_X such that for every alpha_X leq �eta < omega_1 the degree-structure induced on X by the Delta^0_�eta-reductions is simple (i.e. similar to the Wadge hierarchy on the Baire space). We show that alpha_X leq {omega} for every quasi-Polish space X, that alpha_X leq 3 for quasi-Polish spaces of dimension different from infty, and that this last bound is in fact optimal for many (quasi-)Polish spaces, including the real line and its powers.
Recommendations
Cites work
- scientific article; zbMATH DE number 1460545 (Why is no real title available?)
- A Gandy theorem for abstract structures and applications to first-order definability
- A new proof of a theorem of Jayne and Rogers
- Baire reductions and good Borel reducibilities
- Beyond Borel-amenability: scales and superamenable reducibilities
- Borel isomorphisms at the first level, II
- Borel isomorphisms at the first level—I
- Borel-amenable reducibilities for sets of reals
- Borel–Wadge degrees
- Continuous Lattices and Domains
- Decomposing Borel functions and structure at finite levels of the Baire hierarchy
- Decomposing Borel sets and functions and the structure of Baire class 1 functions
- Definability in the Homomorphic Quasiorder of Finite Labeled Forests
- Definability in the \(h\)-quasiorder of labeled forests
- Effective Choice and Boundedness Principles in Computable Analysis
- Game representations of classes of piecewise definable functions
- Hierarchies of Δ02‐measurable k ‐partitions
- More on Wadge determinacy
- On the Structure of Finite Level and ω-Decomposable Borel Functions
- On the Wadge reducibility of \(k\)-partitions
- On the difference hierarchy in countably based \(T_{0}\)-spaces
- Quasi-Polish spaces
- Undecidability in Weihrauch degrees
- Wadge reducibility and infinite computations
- Weihrauch degrees, omniscience principles and weak computability
- \(\sigma\)-homogeneity of Borel sets
Cited in
(25)- On the main scientific achievements of Victor Selivanov
- Variations of Wadge reducibility
- Towards the Effective Descriptive Set Theory
- Wadge hardness in Scott spaces and its effectivization
- Regular tree languages in low levels of the Wadge hierarchy
- A Wadge hierarchy for second countable spaces
- Effective wadge hierarchy in computable quasi-Polish spaces
- Input-driven pushdown automata on well-nested infinite strings
- Continuous reducibility and dimension of metric spaces
- A comparison of concepts from computable analysis and effective descriptive set theory
- The Wadge order on the Scott domain is not a well-quasi-order
- Game characterizations and lower cones in the Weihrauch degrees
- Point Degree Spectra of Represented Spaces
- Wadge-like degrees of Borel bqo-valued functions
- Well-Quasi Orders and Hierarchy Theory
- Game characterizations and lower cones in the Weihrauch degrees
- Borel subsets of the real line and continuous reducibility
- On the widest class of completeness-preserving covering maps
- Borel-piecewise continuous reducibility for uniformization problems
- Descriptive set theory, from Cantor to Wadge and beyond
- Descriptive complexity of \(\mathsf{qc} \mathsf{b}_0\)-spaces
- Towards a descriptive theory of cb\(_{0}\)-spaces
- The Wadge hierarchy on Zariski topologies
- Bad Wadge-like reducibilities on the Baire space
- Decomposing Borel functions using the Shore-Slaman join theorem
This page was built for publication: Wadge-like reducibilities on arbitrary quasi-Polish spaces
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5740679)