The Typical Constructible Object - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2016

The Typical Constructible Object


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.
Fichier principal
Vignette du fichier
genericity.pdf (265.88 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-01396167 , version 1 (14-11-2016)



Mathieu Hoyrup. The Typical Constructible Object. Computability In Europe, Jun 2016, Paris, France. pp.115 - 123, ⟨10.1007/978-3-319-40189-8_12⟩. ⟨hal-01396167⟩
101 View
137 Download



Gmail Facebook X LinkedIn More