Admissibly Represented Spaces and Qcb-Spaces

DOI10.1007/978-3-030-59234-9_9OpenAlexW3017124157MaRDI QIDQ5024575

Matthias Schröder

Publication date: 26 January 2022

Published in: Theory and Applications of Computability (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/2004.09450

Mathematics Subject Classification ID

Computation over the reals, computable analysis (03D78)

Related Items

Descriptive complexity of \(\mathsf{qc} \mathsf{b}_0\)-spaces, Notes on overt choice

Uses Software

• iRRAM

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Theory of representations
• Feasible real random access machines
• Recursive characterization of computable real-valued functions and relations
• PCF extended with real numbers
• Computability on subsets of metric spaces.
• Extended admissibility.
• Equilogical spaces
• Comparing Cartesian closed categories of (core) compactly generated spaces
• Quasi-Polish spaces
• Base-complexity classifications of qcb0-spaces1
• A Convenient Category of Domains
• Filter spaces and continuous functionals
• A lambda calculus for real analysis
• Computable operators on regular sets
• Spaces allowing Type‐2 Complexity Theory revisited
• On the definitions of computable real continuous functions
• Computability theory of generalized functions
• Higher-Order Computability
• Exhaustible sets in higher-type computation
• Berechenbarkeit in Topologischen Räumen Mit Rekursiver Basis
• Berechenbare Reelle Funktionen
• Topological and limit-space subcategories of countably-based equilogical spaces
• Effectivity in Spaces with Admissible Multirepresentations
• Computational complexity on computable metric spaces
• A Comparison of Certain Representations of Regularly Closed Sets
• A Relationship between Equilogical Spaces and Type Two Effectivity
• Computability of compact operators on computable Banach spaces with bases
• On the topological aspects of the theory of represented spaces