Point Degree Spectra of Represented Spaces
From MaRDI portal
Publication:5864311
DOI10.1017/fms.2022.7OpenAlexW1550991731MaRDI QIDQ5864311
Publication date: 7 June 2022
Published in: Forum of Mathematics, Sigma (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1405.6866
Banach algebras of continuous functions, function algebras (46J10) Dimension theory in general topology (54F45) Descriptive set theory (topological aspects of Borel, analytic, projective, etc. sets) (54H05) Other degrees and reducibilities in computability and recursion theory (03D30) Computation over the reals, computable analysis (03D78)
Related Items
Cototal enumeration degrees and their applications to effective mathematics, A STRUCTURAL DICHOTOMY IN THE ENUMERATION DEGREES, Computability on the Countable Ordinals and the Hausdorff-Kuratowski Theorem (Extended Abstract), Strong computable type, Descriptive complexity of \(\mathsf{qc} \mathsf{b}_0\)-spaces, De groot duality for represented spaces, Game characterizations and lower cones in the Weihrauch degrees, Computability theory. Abstracts from the workshop held January 7--13, 2018, Characterizing the continuous degrees, ON A METRIC GENERALIZATION OF THE tt-DEGREES AND EFFECTIVE DIMENSION THEORY, Metric spaces are universal for bi-interpretation with metric structures
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- On Borel mappings and \(\sigma\)-ideals generated by closed sets
- Decomposing Borel functions and structure at finite levels of the Baire hierarchy
- On classification of sigma hereditary disconnected spaces
- Classical recursion theory. The theory of functions and sets of natural numbers
- Isomorphism problems for the Baire classes
- Classical recursion theory. Vol. II
- Extended admissibility.
- Degree spectra and computable dimensions in algebraic structures
- The dimensions of individual strings and sequences
- On infinite-dimensional Cantor manifolds
- Quasi-Polish spaces
- A computability theoretic equivalent to Vaught's conjecture
- Recursion theory. Computational aspects of definability
- Characterizing the continuous degrees
- Dimension theory and forcing
- Complementation problems for the Baire classes
- Randomness for non-computable measures
- New dimension-theory techniques for constructing infinite-dimensional examples
- Algorithmic Randomness and Complexity
- The dimension of products of complete separable metric spaces
- Reducibility and Completeness for Sets of Integers
- Borel isomorphisms at the first level—I
- Noncompact Hereditarily Strongly Infinite Dimensional Spaces
- Borel isomorphisms at the first level, II
- Analytic sets and Borel isomorphisms
- A Weakly Infinite-Dimensional Compactum which is not Countable-Dimensional
- The space of class $\alpha$ Baire functions
- On Nonisomorphic Analytic Sets
- A class of infinite-dimensional spaces. Part I: Dimension theory and Alexandrof's problem
- Analytic determinacy and 0#
- A comparison of concepts from computable analysis and effective descriptive set theory
- Descriptive Set Theory in the Category of Represented Spaces
- Degrees of Structures
- Degrees of continuous functionals
- Continuum many Fréchet types of hereditarily strongly infinite-dimensional Cantor manifolds
- Decomposing Borel functions using the Shore–Slaman join theorem
- Turing degrees in Polish spaces and decomposability of Borel functions
- Non-deterministic computation and the Jayne-Rogers Theorem
- The Brouwer invariance theorems in reverse mathematics
- ON A METRIC GENERALIZATION OF THE tt-DEGREES AND EFFECTIVE DIMENSION THEORY
- Degrees of unsolvability of continuous functions
- On the Structure of Finite Level and ω-Decomposable Borel Functions
- Arithmetical Reducibilities I
- On the topological aspects of the theory of represented spaces
- Wadge-like reducibilities on arbitrary quasi-Polish spaces
