The fixed-point property for represented spaces - Inria - Institut national de recherche en sciences et technologies du numérique
Article Dans Une Revue Annals of Pure and Applied Logic Année : 2022

The fixed-point property for represented spaces

Résumé

We investigate which represented spaces enjoy the fixed-point property, which is the property that every continuous multi-valued function has a fixed-point. We study the basic theory of this notion and of its uniform version. We provide a complete characterization of countable-based spaces with the fixed-point property, showing that they are exactly the pointed ω-continuous dcpos. We prove that the spaces whose lattice of open sets enjoys the fixed-point property are exactly the countably-based spaces. While the role played by fixed-point free functions in the diagonal argument is well-known, we show how it can be adapted to fixed-point free multi-valued functions, and apply the technique to identify the base-complexity of the Kleene-Kreisel spaces, which was an open problem.
Fichier principal
Vignette du fichier
fixedpoint.pdf (378.1 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-03117745 , version 1 (21-01-2021)
hal-03117745 , version 2 (28-01-2021)

Identifiants

Citer

Mathieu Hoyrup. The fixed-point property for represented spaces. Annals of Pure and Applied Logic, 2022, 173 (5), ⟨10.1016/j.apal.2022.103090⟩. ⟨hal-03117745v2⟩
220 Consultations
249 Téléchargements

Altmetric

Partager

More