Descriptive complexity of qc b₀-spaces

DOI10.1016/J.TCS.2022.12.016MaRDI QIDQ2682909zbMATH OpenOpenAlexFDO

Authors Victor Selivanov

Publication date 1 February 2023

Published in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.tcs.2022.12.016

zbMATH Keywords

\( \mathsf{c} \mathsf{b}_0\)-space\( \mathsf{qc} \mathsf{b}_0\)-space\(h\)-preorder\(Q\)-partitionBorel hierarchydomainHausdorff hierarchyLuzin hierarchyPolish spacequasi-Polish spaceWadge reducibilitywell quasiorder

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Recommendations

• Quasi-Polish spaces
• Towards a descriptive theory of cb\(_{0}\)-spaces
• Towards a descriptive set theory for domain-like structures
• Effective wadge hierarchy in computable quasi-Polish spaces
• Descriptive set theory in the category of represented spaces

Cites work

• A comparison of concepts from computable analysis and effective descriptive set theory
• A Gandy theorem for abstract structures and applications to first-order definability
• A generalization of a theorem of Hurewicz for quasi-Polish spaces
• A new proof of a theorem of Jayne and Rogers
• A Separation Theorem for ∑ 1 1 Sets
• A syntactic approach to Borel functions: some extensions of Louveau's theorem
• A Wadge hierarchy for second countable spaces
• Admissibly Represented Spaces and Qcb-Spaces
• Bad Wadge-like reducibilities on the Baire space
• Baire reductions and good Borel reducibilities
• Base-complexity classifications of \(\mathrm{qcb}_0\)-spaces
• Boole vs Wadge: comparing two basic tools of descriptive set theory
• Borel and Hausdorff hierarchies in topological spaces of Choquet games and their effectivization
• Borel isomorphisms at the first level, II
• Borel isomorphisms at the first level—I
• Borel subsets of the real line and continuous reducibility
• Borel-amenable reducibilities for sets of reals
• Characterizations of absolute F σδ-sets
• Classes of Polish spaces under effective Borel isomorphism
• Classifying countable Boolean terms
• Closing the gap between the continuous functionals and recursion in \(^3E\)
• Coding in the partial order of enumerable sets
• Comparing Cartesian closed categories of (core) compactly generated spaces
• Computability and models. Perspectives east and west
• Computability on quasi-Polish spaces
• Computable structures and the hyperarithmetical hierarchy
• Computably enumerable partial orders
• Computably Isometric Spaces
• Continuous reducibility and dimension of metric spaces
• Countable functionals and the projective hierarchy
• Data Types as Lattices
• Decidability of Second-Order Theories and Automata on Infinite Trees
• Decomposing Borel functions and structure at finite levels of the Baire hierarchy
• Decomposing Borel functions using the Shore-Slaman join theorem
• DECOMPOSING FUNCTIONS OF BAIRE CLASS ON POLISH SPACES
• Definability in the \(h\)-quasiorder of labeled forests
• Degrees of unsolvability of continuous functions
• Descriptive set theory
• Effective Borel measurability and reducibility of functions
• Effective wadge hierarchy in computable quasi-Polish spaces
• Enumerating classes of effective quasi-Polish spaces
• Equivalence relations that are ^0_3 complete for computable reducibility (extended abstract)
• Extended admissibility.
• Extending Wadge theory to \(k\)-partitions
• Filter spaces and continuous functionals
• Fine hierarchies and Boolean terms
• Fine hierarchies and m-reducibilities in theoretical computer science
• Fine hierarchies via Priestley duality
• First level Borel functions and isomorphisms
• First order theories of some lattices of open sets
• Forests describing Wadge degrees and topological Weihrauch degrees of certain classes of functions and relations
• Genericity of weakly computable objects
• Hereditarily effective typestreams
• Hierarchies in?-spaces and applications
• Hierarchies of hyperarithmetical sets and functions
• Hierarchies of Δ⁰₂‐measurable k ‐partitions
• scientific article; zbMATH DE number 3163761 (Why is no real title available?)
• scientific article; zbMATH DE number 3849219 (Why is no real title available?)
• scientific article; zbMATH DE number 5521854 (Why is no real title available?)
• scientific article; zbMATH DE number 3817684 (Why is no real title available?)
• scientific article; zbMATH DE number 3825780 (Why is no real title available?)
• scientific article; zbMATH DE number 3961577 (Why is no real title available?)
• scientific article; zbMATH DE number 3966058 (Why is no real title available?)
• scientific article; zbMATH DE number 4053601 (Why is no real title available?)
• scientific article; zbMATH DE number 4061224 (Why is no real title available?)
• scientific article; zbMATH DE number 4068856 (Why is no real title available?)
• scientific article; zbMATH DE number 3706504 (Why is no real title available?)
• scientific article; zbMATH DE number 3726351 (Why is no real title available?)
• scientific article; zbMATH DE number 107999 (Why is no real title available?)
• scientific article; zbMATH DE number 194103 (Why is no real title available?)
• scientific article; zbMATH DE number 3598453 (Why is no real title available?)
• scientific article; zbMATH DE number 3609660 (Why is no real title available?)
• scientific article; zbMATH DE number 3619862 (Why is no real title available?)
• scientific article; zbMATH DE number 722611 (Why is no real title available?)
• scientific article; zbMATH DE number 1166155 (Why is no real title available?)
• scientific article; zbMATH DE number 2047478 (Why is no real title available?)
• scientific article; zbMATH DE number 1460545 (Why is no real title available?)
• scientific article; zbMATH DE number 2154088 (Why is no real title available?)
• scientific article; zbMATH DE number 6318 (Why is no real title available?)
• scientific article; zbMATH DE number 783754 (Why is no real title available?)
• scientific article; zbMATH DE number 1390018 (Why is no real title available?)
• scientific article; zbMATH DE number 1390542 (Why is no real title available?)
• scientific article; zbMATH DE number 1405571 (Why is no real title available?)
• scientific article; zbMATH DE number 3216177 (Why is no real title available?)
• scientific article; zbMATH DE number 3216184 (Why is no real title available?)
• scientific article; zbMATH DE number 3216998 (Why is no real title available?)
• scientific article; zbMATH DE number 3231082 (Why is no real title available?)
• scientific article; zbMATH DE number 3248824 (Why is no real title available?)
• scientific article; zbMATH DE number 3291134 (Why is no real title available?)
• scientific article; zbMATH DE number 3342831 (Why is no real title available?)
• scientific article; zbMATH DE number 3200656 (Why is no real title available?)
• scientific article; zbMATH DE number 3054965 (Why is no real title available?)
• Hyperprojective hierarchy of qcb0-spaces
• Index sets in Ershov's hierarchy
• Index sets in the hyperarithmetical hierarchy
• Invariant descriptive set theory
• Isomorphism relations on computable structures
• Les propriétés de réduction et de norme pour les classes de Boréliens
• Maps of Borel sets
• Memoir on the Analytical Operations and Projective Sets (I)
• More on Wadge determinacy
• New basic result in classical descriptive set theory: preservation of completeness
• Noetherian Spaces in Verification
• Non-collapse of the effective wadge hierarchy
• Non-Hausdorff topology and domain theory. Selected topics in point-set topology
• On a question by Alexey Ostrovsky concerning preservation of completeness
• ON A QUESTION OF L. V. KELDYSH CONCERNING THE STRUCTURE OF BOREL SETS
• On degree spectra of topological spaces
• On some problems of descriptive set theory in topological spaces
• On the difference hierarchy in countably based \(T_{0}\)-spaces
• On the structure of the Wadge degrees of bqo-valued Borel functions
• Overt choice
• Point Degree Spectra of Represented Spaces
• Preservation of the Borel class under countable-compact-covering mappings
• Quasi-Polish spaces
• Recursion on the countable functionals
• Recursive metric spaces
• Resolvable maps preserve complete metrizability
• Some hierarchies of \(\mathsf{QCB}_0\)-spaces
• Some notes on spaces of ideals and computable topology
• Some observations on `A new proof of a theorem of Jayne and Rogers'
• Spaces allowing Type‐2 Complexity Theory revisited
• Spatiality of countably presentable locales (proved with the Baire category theorem)
• Spectral spaces
• Sur une généralisation de la notion d'homéomorphie
• The Hausdorff-Ershov hierarchy in Euclidean spaces
• The isometry degree of a computable copy of ℓ p 1
• The sequential topology on is not regular
• The SLO principle and the Wadge hierarchy
• The space of class \alpha Baire functions
• The Steel hierarchy of ordinal valued Borel mappings
• The theory of well-quasi-ordering: a frequently discovered concept
• The uniform Martin's conjecture for many-one degrees
• The Wadge order on the Scott domain is not a well-quasi-order
• Theory of representations
• Topological reducibilities for discontinuous functions and their structures
• Total objects in inductively defined types
• Total representations
• Total sets and objects in domain theory
• Towards a descriptive set theory for domain-like structures
• Towards the Effective Descriptive Set Theory
• Turing degrees in Polish spaces and decomposability of Borel functions
• Turing's legacy. Developments from Turing's ideas in logic
• Undecidability of Some Topological Theories
• Wadge Degrees ofω-Languages of Deterministic Turing Machines
• Wadge hardness in Scott spaces and its effectivization
• Wadge-like degrees of Borel bqo-valued functions
• Wadge-like reducibilities on arbitrary quasi-Polish spaces
• Weihrauch Complexity in Computable Analysis
• Über innere Abbildungen

Cited in

(2)

• The descriptive complexity of the set of all closed zero-dimensional subsets of a Polish space
• The descriptive complexity of the family of Banach spaces with the \(\pi\)-property

This page was built for publication: Descriptive complexity of \(\mathsf{qc} \mathsf{b}_0\)-spaces

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