Section: Highlights of the Year
Highlights of the Year
We worked on the computable aspects of an elementary problem in real analysis: extending a continuous function on a larger domain. More precisely, if a real-valued function is defined on an interval (with ) and is computable there, under which conditions can it be extended to a computable function on ? Our results show how the answer depends on and on the way converges at . This provides new characterizations of already existing classes of real numbers previously defined in computability theory. Our work was presented at LICS 2017 .