The Typical Constructible Object
Baire Category is an important concept in mathematical analysis. It gives a notion of large set, hence a way of identifying the properties of typical objects. One of the most important applications of Baire Category is to provide a way of proving the existence of objects with specified properties without having to give an explicit construction, showing at the same time that these properties are prevalent. For instance it has been extensively used in mathematical analysis to better understand and separate classes of real functions such as analytic and smooth functions (see  for a wide range of applications of the Baire Category Theorem in analysis).
KeywordsDense Class Effective Version Typical Trajectory Baire Category Priority Method
- 1.Brattka, V., Hendtlass, M., Kreuzer, A.P.: On the uniform computational content of the Baire category theorem (2015). CoRR arXiv:1510.01913
- 5.Hoyrup, M.: Irreversible computable functions. In: Mayr, E.W., Portier, N. (eds.) 31st International Symposium on Theoretical Aspects of Computer Science (STACS 2014), STACS 2014, 5–8 March 2014, Lyon, France, LIPIcs, vol. 25, pp. 362–373. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik (2014)Google Scholar
- 6.Hoyrup, M.: Genericity of weakly computable objects. Theory of Computing Systems (2016, to appear)Google Scholar
- 7.Ingrassia, M.A.: P-genericity for recursively enumerable sets. Ph.D. thesis, University of Illinois at Urbana-Champaign (1981)Google Scholar