Strong computable type - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Journal Articles Computability Year : 2023

Strong computable type


A compact set has computable type if any homeomorphic copy of the set which is semicomputable is actually computable. Miller proved that finite-dimensional spheres have computable type, Iljazović and other authors established the property for many other sets, such as manifolds. In this article we propose a theoretical study of the notion of computable type, in order to improve our general understanding of this notion and to provide tools to prove or disprove this property. We first show that the definitions of computable type that were distinguished in the literature, involving metric spaces and Hausdorff spaces respectively, are actually equivalent. We argue that the stronger, relativized version of computable type, is better behaved and prone to topological analysis. We obtain characterizations of strong computable type, related to the descriptive complexity of topological invariants, as well as purely topological criteria. We study two families of topological invariants of low descriptive complexity, expressing the extensibility and the nullhomotopy of continuous functions. We apply the theory to revisit previous results and obtain new ones.
Fichier principal
Vignette du fichier
article_july_2023.pdf (679.64 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-03806572 , version 1 (07-10-2022)
hal-03806572 , version 2 (07-07-2023)





Djamel Eddine Amir, Mathieu Hoyrup. Strong computable type. Computability, 2023, 12 (3), pp.227-269. ⟨10.3233/COM-220430⟩. ⟨hal-03806572v2⟩
95 View
50 Download



Gmail Facebook X LinkedIn More