Internal Density Theorems for Hierarchies of Continuous Functionals

DOI10.1007/978-3-540-69407-6_50MaRDI QIDQ3507463zbMATH OpenOpenAlexFDO

Authors Dag Normann

Publication date 19 June 2008

Published in Logic and Theory of Algorithms (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-69407-6_50

zbMATH Keywords

Continuous functionalDensity theoremLimit spaceProbabilistic selection

Mathematics Subject Classification ID

Hierarchies of computability and definability (03D55) Higher-type and set recursion theory (03D65)

Recommendations

• scientific article; zbMATH DE number 1169381
• Density-to-deep-\(\mathcal I\)-density continuous functions
• scientific article; zbMATH DE number 3960522
• On integral functionals of a density
• On the density of the space of continuous and uniformly continuous functions
• On some density theorems in regular vector lattices of continuous functions
• ℐ-density continuous functions
• scientific article; zbMATH DE number 2109860
• A density theorem for hierarchies of limit spaces over separable metric spaces
• Some density theorems in the set of continuous functions with values in the unit interval

Cites work

• Applications of the Kleene-Kreisel density theorem to theoretical computer science
• Domain representability of metric spaces
• scientific article; zbMATH DE number 3163761 (Why is no real title available?)
• scientific article; zbMATH DE number 1460545 (Why is no real title available?)
• scientific article; zbMATH DE number 3216998 (Why is no real title available?)
• scientific article; zbMATH DE number 3335898 (Why is no real title available?)
• scientific article; zbMATH DE number 3078213 (Why is no real title available?)
• Recursive Functionals and Quantifiers of Finite Types I

Cited in

(7)

• Hierarchies of total functionals over the reals
• Limit spaces with approximations
• A density theorem for hierarchies of limit spaces over separable metric spaces
• A rich hierarchy of functionals of finite types
• scientific article; zbMATH DE number 1497739 (Why is no real title available?)
• scientific article; zbMATH DE number 1531372 (Why is no real title available?)
• Comparing hierarchies of total functionals

This page was built for publication: Internal Density Theorems for Hierarchies of Continuous Functionals

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3507463)