Extended admissibility.
From MaRDI portal
Publication:1607303
DOI10.1016/S0304-3975(01)00109-8zbMath1042.68050OpenAlexW2911572548MaRDI QIDQ1607303
Publication date: 31 July 2002
Published in: Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/s0304-3975(01)00109-8
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (48)
Comparing Cartesian closed categories of (core) compactly generated spaces ⋮ Three topological reducibilities for discontinuous functions ⋮ Comparing representations for function spaces in computable analysis ⋮ Effective aspects of Hausdorff and Fourier dimension ⋮ Representing probability measures using probabilistic processes ⋮ Unnamed Item ⋮ A syntactic approach to Borel functions: some extensions of Louveau's theorem ⋮ Towards a descriptive theory of cb0-spaces ⋮ Descriptive complexity of \(\mathsf{qc} \mathsf{b}_0\)-spaces ⋮ On the information carried by programs about the objects they compute ⋮ Learning figures with the Hausdorff metric by fractals -- towards computable binary classification ⋮ Computability of finite-dimensional linear subspaces and best approximation ⋮ Topological Properties of Concept Spaces ⋮ Computability on subsets of metric spaces. ⋮ Coherence Spaces and Uniform Continuity ⋮ Game characterizations and lower cones in the Weihrauch degrees ⋮ Reducibility of domain representations and Cantor–Weihrauch domain representations ⋮ Hierarchies of total functionals over the reals ⋮ Stability of representations of effective partial algebras ⋮ When series of computable functions with varying domains are computable ⋮ Quantitative continuity and Computable Analysis in Coq ⋮ Selection functions, bar recursion and backward induction ⋮ An Effective Tietze-Urysohn Theorem for QCB-Spaces ⋮ Computable Riesz Representation for Locally Compact Hausdorff Spaces ⋮ Notions of Probabilistic Computability on Represented Spaces ⋮ Topological properties of concept spaces (full version) ⋮ Admissible Representations of Probability Measures ⋮ On the topological aspects of the theory of represented spaces ⋮ Some hierarchies of QCB0-spaces ⋮ Game characterizations and lower cones in the Weihrauch degrees ⋮ Parametrised second-order complexity theory with applications to the study of interval computation ⋮ Unnamed Item ⋮ Base-complexity classifications of qcb0-spaces1 ⋮ A computable version of Banach's inverse mapping theorem ⋮ Unnamed Item ⋮ Weihrauch degrees, omniscience principles and weak computability ⋮ Computable analysis with applications to dynamic systems ⋮ The sequential topology on is not regular ⋮ On the computability of the set of automorphisms of the unit square ⋮ Representations and evaluation strategies for feasibly approximable functions ⋮ Unnamed Item ⋮ Unnamed Item ⋮ A Convenient Category of Domains ⋮ Point Degree Spectra of Represented Spaces ⋮ Some notes on spaces of ideals and computable topology ⋮ Computability of Subsets of Metric Spaces ⋮ Admissibly Represented Spaces and Qcb-Spaces ⋮ Weihrauch Complexity in Computable Analysis
Cites Work
This page was built for publication: Extended admissibility.
