The Typical Constructible Object

Mathieu Hoyrup 1
1 CARTE - Theoretical adverse computations, and safety
Inria Nancy - Grand Est, LORIA - FM - Department of Formal Methods
Abstract : Baire Category is an important concept in mathematical analysis. It provides a way of identifying the properties of typical objects and proving the existence of objects with specified properties avoiding explicit constructions. For instance it has been extensively used to better understand and separate classes of real functions such as analytic and smooth functions. Baire Category proves very useful in computability theory and computable analysis, again to understand the properties of typical objects and to prove existence results. However it cannot be used directly when studying classes of computable or computably enumerable objects: those objects are atypical. Here we show how Baire Category can be adapted to such small classes, and how one can define typical computably enumerable sets or lower semicomputable real numbers for instance.
Type de document :
Communication dans un congrès
Computability In Europe, Jun 2016, Paris, France. pp.115 - 123, 2016, 〈https://lipn.univ-paris13.fr/CIE2016/〉. 〈10.1007/978-3-319-40189-8_12〉
Liste complète des métadonnées

Littérature citée [14 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01396167
Contributeur : Mathieu Hoyrup <>
Soumis le : lundi 14 novembre 2016 - 10:22:40
Dernière modification le : jeudi 11 janvier 2018 - 06:21:25
Document(s) archivé(s) le : mardi 21 mars 2017 - 03:54:03

Fichier

genericity.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Collections

Citation

Mathieu Hoyrup. The Typical Constructible Object. Computability In Europe, Jun 2016, Paris, France. pp.115 - 123, 2016, 〈https://lipn.univ-paris13.fr/CIE2016/〉. 〈10.1007/978-3-319-40189-8_12〉. 〈hal-01396167〉

Partager

Métriques

Consultations de la notice

146

Téléchargements de fichiers

53