Topological analysis of representations - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2018

Topological analysis of representations


Computable analysis is the theoretical study of the abilities of algorithms to process infinite objects. The algorithms abilities depend on the way these objects are presented to them. We survey recent results on the problem of identifying the properties of objects that are decidable or semidecidable, for several concrete classes of objects and representations of them. Topology is at the core of this study, as the decidable and semidecidable properties are closely related to the open sets induced by the representation.
Fichier principal
Vignette du fichier
final.pdf (244.13 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-01919395 , version 1 (12-11-2018)


  • HAL Id : hal-01919395 , version 1


Mathieu Hoyrup. Topological analysis of representations. CiE 2018 - Fourteenth conference on Computability in Europe, Jul 2018, Kiel, Germany. ⟨hal-01919395⟩
65 View
157 Download


Gmail Facebook X LinkedIn More