Comparing computability in two topologies - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Journal Articles The Journal of Symbolic Logic Year : 2023

Comparing computability in two topologies


Computable analysis provides ways of representing points in a topological space, and therefore of defining a notion of computable points of the space. In this article, we investigate when two topologies on the same space induce different sets of computable points. We first study a purely topological version of the problem, which is to understand when two topologies are not σ-homeomorphic. We obtain a characterization leading to an effective version, and we prove that two topologies satisfying this condition induce different sets of computable points. Along the way, we propose an effective version of the Baire category theorem which captures the construction technique, and enables one to build points satisfying properties that are co-meager w.r.t. a topology, and are computable w.r.t. another topology. Finally, we generalize the result to three topologies and give an application to prove that certain sets do not have computable type, i.e. have a homeomorphic copy that is semicomputable but not computable.
Fichier principal
Vignette du fichier
article.pdf (382.11 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-03702999 , version 1 (23-06-2022)





Djamel Eddine Amir, Mathieu Hoyrup. Comparing computability in two topologies. The Journal of Symbolic Logic, 2023, pp.1-19. ⟨10.1017/jsl.2023.17⟩. ⟨hal-03702999⟩
121 View
100 Download



Gmail Facebook X LinkedIn More