Thats a unique idea.You should consider the following idea to enhance your idea so that it would impact uniquely: Abstract   Abstracting from a presentation of the density theorem for the hierarchy    Ct   (  ρ  )   of countable functionals over   N   given by Normann in  [12] ,  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.  show that these categories are cartesian closed, and  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.
['Iosif Petrakis']
I am writing a research paper on a idea Limit spaces with approximations
[{"from": "human", "value": "I am writing a research paper on a idea Limit spaces with approximations"}, {"from": "gpt", "value": "Thats a unique idea.You should consider the following idea to enhance your idea so that it would impact uniquely: Abstract   Abstracting from a presentation of the density theorem for the hierarchy    Ct   (  \u03c1  )   of countable functionals over   N   given by Normann in  [12] ,  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.  show that these categories are cartesian closed, and  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."}]