Towards Computability of Higher Type Continuous Data

摘要

This paper extends the logical approach to computable analysis via Σ-definability to higher type continuous data such as functionals and operators. We employ definability theory to introduce computability of functionals from arbitrary domain to the real numbers. We show how this concept works in particular cases.