Ludwig Staiger - On the incomputability of computable dimension

lmcs:5415 - Logical Methods in Computer Science, May 14, 2020, Volume 16, Issue 2 - https://doi.org/10.23638/LMCS-16(2:5)2020
On the incomputability of computable dimensionArticle

Authors: Ludwig Staiger ORCID

Using an iterative tree construction we show that for simple computable subsets of the Cantor space Hausdorff, constructive and computable dimensions might be incomputable.

https://doi.org/10.23638/LMCS-16(2:5)2020
Source: arXiv.org:1904.13112
Volume: Volume 16, Issue 2
Secondary volumes: Selected Papers of the Conference "Continuity, Computability, Constructivity: From Logic to Algorithms" (CCC 2018)
Published on: May 14, 2020
Accepted on: April 14, 2020
Submitted on: May 1, 2019
Keywords: Computer Science - Logic in Computer Science, 68Q30, 03D32
Licence: Attribution 4.0 International (CC BY 4.0)

Share and export

Consultation statistics

This page has been seen 2668 times.
This article's PDF has been downloaded 484 times.