Limit spaces with approximations

作者：Petrakis Iosif^*

来源：Annals of Pure and Applied Logic, 2016, 167(9): 737-752.

DOI：10.1016/j.apal.2016.04.013

• Computability theory at higher types
• Constructive mathematics
• Density theorem
• Limit spaces

The Abstracting from a presentation of the density theorem for the hierarchy Ct(rho) of countable functionals over N given by Normann in [12], we define two subcategories of limit spaces, the limit spaces with approximations, and the limit spaces with general approximations, for both of which a density theorem holds directly. We show that these categories are cartesian closed, and we give examples of such limit spaces and of density theorems for hierarchies of functionals over them. Most of our main proofs are within Bishop's informal system of constructive mathematics BISH. In a limit space with (general) approximations the approximation functions are given beforehand as an internal part of the structure under study. In this way limit spaces with (general) approximations form a constructive approach to abstract limit spaces, reflecting at the same time the central idea of Normann's Program of Internal Computability.

• 出版日期2016-9