Spaces allowing Type‐2 Complexity Theory revisited

DOI10.1002/malq.200310111zbMath1058.03069OpenAlexW2169277847MaRDI QIDQ3159429

Matthias Schröder

Publication date: 16 February 2005

Published in: Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1002/malq.200310111

zbMATH Keywords

complexity theoryTopological spacelimit spaceType-2 Theory of Effectivity

Mathematics Subject Classification ID

Constructive and recursive analysis (03F60) Topological spaces and generalizations (closure spaces, etc.) (54A05) Complexity of computation (including implicit computational complexity) (03D15) Convergence in general topology (sequences, filters, limits, convergence spaces, nets, etc.) (54A20) Theory of numerations, effectively presented structures (03D45) Higher-type and set recursion theory (03D65)

Related Items

The fixed-point property for represented spaces, Towards Computational Complexity Theory on Advanced Function Spaces in Analysis, Representing probability measures using probabilistic processes, Relative computability and uniform continuity of relations, Unnamed Item, Descriptive complexity of \(\mathsf{qc} \mathsf{b}_0\)-spaces, Quantitative continuity and Computable Analysis in Coq, Computational benefit of smoothness: parameterized bit-complexity of numerical operators on analytic functions and Gevrey's hierarchy, Type-two polynomial-time and restricted lookahead, On the topological aspects of the theory of represented spaces, Analytical properties of resource-bounded real functionals, Parametrised second-order complexity theory with applications to the study of interval computation, Base-complexity classifications of qcb0-spaces1, Online computations of differentiable functions, Admissibly Represented Spaces and Qcb-Spaces