Admissible representations of limit spaces
From MaRDI portal
Theory of numerations, effectively presented structures (03D45) Higher-type and set recursion theory (03D65) Limits and colimits (products, sums, directed limits, pushouts, fiber products, equalizers, kernels, ends and coends, etc.) (18A30) Convergence in general topology (sequences, filters, limits, convergence spaces, nets, etc.) (54A20) Lower separation axioms ((T_0)--(T_3), etc.) (54D10)
Recommendations
Cited in
(20)- \(f_ A\)-spaces
- Computability on subsets of metric spaces.
- Hierarchies of total functionals over the reals
- Extended admissibility.
- Limit spaces with approximations
- Spaces allowing Type‐2 Complexity Theory revisited
- On the relationship between filter spaces and weak limit spaces
- scientific article; zbMATH DE number 1969324 (Why is no real title available?)
- A natural weak limit space with admissible representation which is not a limit space
- On the relationship between filter spaces and weak limit spaces
- Admissibly Represented Spaces and Qcb-Spaces
- Partial Continuous Functions and Admissible Domain Representations
- Logical Approaches to Computational Barriers
- Quantitative coding and complexity theory of \textit{continuous} data. I: Motivation, definition, consequences
- Effective second countability in computable analysis
- Computability on random events and variables in a computable probability space
- Multi-representation associated to the numbering of a subbasis and formal inclusion relations
- Effective bases and notions of effective second countability in computable analysis
- Computing Schrödinger propagators on type-2 Turing machines
- Topological properties of concept spaces (full version)
This page was built for publication: Admissible representations of limit spaces
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4531993)