Loading [a11y]/accessibility-menu.js
On the extension of computable real functions | IEEE Conference Publication | IEEE Xplore
Scheduled Maintenance: On Saturday, 19 July, IEEE Xplore will undergo scheduled maintenance from 7:00 AM-11:00 AM ET. During this time, there will be periods when the website will be unavailable.

On the extension of computable real functions


Abstract:

We investigate interrelationships among different notions from mathematical analysis, effective topology, and classical computability theory. Our main object of study is ...Show More

Abstract:

We investigate interrelationships among different notions from mathematical analysis, effective topology, and classical computability theory. Our main object of study is the class of computable functions defined over an interval with the boundary being a left-c.e. real number. We investigate necessary and sufficient conditions under which such functions can be computably extended. It turns out that this depends on the behavior of the function near the boundary as well as on the class of left-c.e. real numbers to which the boundary belongs, that is, how it can be constructed. Of particular interest a class of functions is investigated: sawtooth functions constructed from computable enumerations of c.e. sets.
Date of Conference: 20-23 June 2017
Date Added to IEEE Xplore: 10 August 2017
ISBN Information:
Conference Location: Reykjavik, Iceland

Contact IEEE to Subscribe

References

References is not available for this document.