On a metric generalization of the tt-degrees and effective dimension theory

DOI10.1017/JSL.2019.18zbMATHOpenAlexWikidataMaRDI QIDQ5222533FDO

Authors Takayuki Kihara

Publication date 6 April 2020

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

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

zbMATH Keywords

effective dimensioncomputable metric spaceBorel isomorphismSchnorr dimensiontruth table degree

Mathematics Subject Classification ID

Computation over the reals, computable analysis (03D78) 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)

Abstract: In this article, we study an analogue of $tt$-reducibility for points in computable metric spaces. We characterize the notion of the metric $tt$-degree in the context of first-level Borel isomorphism. Then, we study this concept from the perspectives of effective topological dimension theory and of effective fractal dimension theory.

Recommendations

• Effective dimension in some general metric spaces
• Effective Hausdorff dimension in general metric spaces
• Effective zero-dimensionality for computable metric spaces
• Computability on computable metric spaces
• Constructive Dimension and Weak Truth-Table Degrees

Cites work

• scientific article; zbMATH DE number 3820667 (Why is no real title available?)
• scientific article; zbMATH DE number 3629277 (Why is no real title available?)
• scientific article; zbMATH DE number 1160328 (Why is no real title available?)
• scientific article; zbMATH DE number 1460545 (Why is no real title available?)
• scientific article; zbMATH DE number 815279 (Why is no real title available?)
• scientific article; zbMATH DE number 3098534 (Why is no real title available?)
• A relationship between packing and topological dimensions
• Algorithmic information, plane Kakeya sets, and conditional dimension
• Algorithmic randomness and complexity.
• Approximately differentiable functions: The r-topology
• Baire isomorphisms at the first level and dimension
• Borel isomorphisms at the first level, II
• Borel isomorphisms at the first level—I
• Characterizing the continuous degrees
• Classical recursion theory. The theory of functions and sets of natural numbers
• Computable metrization
• Degrees of unsolvability of continuous functions
• Dimension spectra of lines
• Dimension theory and forcing
• Dimensions of Points in Self-Similar Fractals
• Effective zero-dimensionality for computable metric spaces
• First level Borel functions and isomorphisms
• On Borel mappings and \(\sigma\)-ideals generated by closed sets
• On scatteredly continuous maps between topological spaces
• Piece-wise closed functions
• Point Degree Spectra of Represented Spaces
• Randomness for non-computable measures
• Reconciling Data Compression and Kolmogorov Complexity
• The infinite-dimensional topology of function spaces
• Turing computability. Theory and applications
• Turing degrees in Polish spaces and decomposability of Borel functions
• Unified characterizations of lowness properties via Kolmogorov complexity
• Uniform Kurtz randomness

Cited in

(6)

• Effective zero-dimensionality for computable metric spaces
• \(K\)-triviality in computable metric spaces
• Point Degree Spectra of Represented Spaces
• Effective Hausdorff dimension in general metric spaces
• Effective dimension in some general metric spaces
• The metric dimension of sunflower, \(t\)-fold wheel, and \(K_1+(P_n \odot P_m)\)

This page was built for publication: On a metric generalization of the \(tt\)-degrees and effective dimension theory

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