Effective genericity and differentiability

Rutger Kuyper, Sebastiaan Terwijn

Abstract


We prove that a real x is 1-generic if and only if every differentiable computable function has continuous derivative at x. This provides a counterpart to recent results connecting effective notions of randomness with differentiability.

Full Text:

4. [PDF]


DOI: https://doi.org/10.4115/jla.2014.6.4

Creative Commons License
This work is licensed under a Creative Commons Attribution 3.0 License.

Journal of Logic and Analysis ISSN:  1759-9008