ON A METRIC GENERALIZATION OF THE tt-DEGREES AND EFFECTIVE DIMENSION THEORY

DOI10.1017/jsl.2019.18zbMath1455.03055arXiv1803.03753OpenAlexW2963018489WikidataQ128224671 ScholiaQ128224671MaRDI QIDQ5222533

Takayuki Kihara

Publication date: 6 April 2020

Published in: The Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1803.03753

zbMATH Keywords

Borel isomorphismeffective dimensioncomputable metric spaceSchnorr dimensiontruth table degree

Mathematics Subject Classification ID

Descriptive set theory (topological aspects of Borel, analytic, projective, etc. sets) (54H05) Models of arithmetic and set theory (03C62) Other degrees and reducibilities in computability and recursion theory (03D30) Computation over the reals, computable analysis (03D78)

Related Items (1)

Point Degree Spectra of Represented Spaces

Cites Work

• 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
• On scatteredly continuous maps between topological spaces
• First level Borel functions and isomorphisms
• Piece-wise closed functions
• Classical recursion theory. The theory of functions and sets of natural numbers
• Approximately differentiable functions: The r-topology
• Baire isomorphisms at the first level and dimension
• Dimension spectra of lines
• Bounding the dimension of points on a line
• Characterizing the continuous degrees
• Unified characterizations of lowness properties via Kolmogorov complexity
• Dimension theory and forcing
• Randomness for non-computable measures
• Turing Computability
• Uniform Kurtz randomness
• Algorithmic Randomness and Complexity
• Dimensions of Points in Self-Similar Fractals
• Borel isomorphisms at the first level—I
• Borel isomorphisms at the first level, II
• A relationship between packing and topological dimensions
• Turing degrees in Polish spaces and decomposability of Borel functions
• Effective zero-dimensionality for computable metric spaces
• Computable metrization
• Degrees of unsolvability of continuous functions
• Reconciling Data Compression and Kolmogorov Complexity
• Point Degree Spectra of Represented Spaces

This page was built for publication: ON A METRIC GENERALIZATION OF THE tt-DEGREES AND EFFECTIVE DIMENSION THEORY