On the topological aspects of the theory of represented spaces (Q5740207): Difference between revisions

@@ Property / cites work @@
+A Relationship between Equilogical Spaces and Type Two Effectivity
+Normal rank
@@ Property / cites work @@
+Metric spaces in synthetic topology
@@ Property / cites work: Metric spaces in synthetic topology / rank @@
+Normal rank
@@ Property / cites work @@
+Recursive characterization of computable real-valued functions and relations
+Normal rank
@@ Property / cites work @@
+Effective Borel measurability and reducibility of functions
+Normal rank
@@ Property / cites work @@
+Plottable Real Number Functions and the Computable Graph Theorem
+Normal rank
@@ Property / cites work @@
+Closed choice and a uniform low basis theorem
@@ Property / cites work: Closed choice and a uniform low basis theorem / rank @@
+Normal rank
@@ Property / cites work @@
+Borel Complexity of Topological Operations on Computable Metric Spaces
+Normal rank
@@ Property / cites work @@
+Computability on subsets of metric spaces.
@@ Property / cites work: Computability on subsets of metric spaces. / rank @@
+Normal rank
@@ Property / cites work @@
+Computability on subsets of Euclidean space. I: Closed and compact subsets
+Normal rank
@@ Property / cites work @@
+Effective Computability of Solutions of Ordinary Differential Equations The Thousand Monkeys Approach
+Normal rank
@@ Property / cites work @@
+Q3639060
@@ Property / cites work: Q3639060 / rank @@
+Normal rank
@@ Property / cites work @@
+Quasi-Polish spaces
@@ Property / cites work: Quasi-Polish spaces / rank @@
+Normal rank
@@ Property / cites work @@
+Q2844075
@@ Property / cites work: Q2844075 / rank @@
+Normal rank
@@ Property / cites work @@
+A Hausdorff Topology for the Closed Subsets of a Locally Compact Non-Hausdorff Space
+Normal rank
@@ Property / cites work @@
+Dynamics and abstract computability: computing invariant measures
+Normal rank
@@ Property / cites work @@
+Q3639062
@@ Property / cites work: Q3639062 / rank @@
+Normal rank
@@ Property / cites work @@
+Co-c.e. spheres and cells in computable metric spaces
+Normal rank
@@ Property / cites work @@
+Feasibly continuous type-two functionals
@@ Property / cites work: Feasibly continuous type-two functionals / rank @@
+Normal rank
@@ Property / cites work @@
+Theory of representations
@@ Property / cites work: Theory of representations / rank @@
+Normal rank
@@ Property / cites work @@
+Q4277455
@@ Property / cites work: Q4277455 / rank @@
+Normal rank
@@ Property / cites work @@
+Effectiveness for Embedded Spheres and Balls
@@ Property / cites work: Effectiveness for Embedded Spheres and Balls / rank @@
+Normal rank
@@ Property / cites work @@
+Q3639065
@@ Property / cites work: Q3639065 / rank @@
+Normal rank
@@ Property / cites work @@
+Effectivity in Spaces with Admissible Multirepresentations
+Normal rank
@@ Property / cites work @@
+Extended admissibility.
@@ Property / cites work: Extended admissibility. / rank @@
+Normal rank
@@ Property / cites work @@
+Spaces allowing Type‐2 Complexity Theory revisited
+Normal rank
@@ Property / cites work @@
+Admissible representations for probability measures
+Normal rank
@@ Property / cites work @@
+A lambda calculus for real analysis
@@ Property / cites work: A lambda calculus for real analysis / rank @@
+Normal rank
@@ Property / cites work @@
+Type 2 recursion theory
@@ Property / cites work: Type 2 recursion theory / rank @@
+Normal rank
@@ Property / cites work @@
+Computability on the probability measures on the Borel sets of the unit interval
+Normal rank
@@ Property / cites work @@
+Computational complexity on computable metric spaces
+Normal rank
@@ Property / cites work @@
+Q3518432
@@ Property / cites work: Q3518432 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3075222
@@ Property / cites work: Q3075222 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3639070
@@ Property / cites work: Q3639070 / rank @@
+Normal rank
@@ Property / cites work @@
+Admissible representations of effective cpo's
@@ Property / cites work: Admissible representations of effective cpo's / rank @@
+Normal rank
@@ Property / cites work @@
+Computable operators on regular sets
@@ Property / cites work: Computable operators on regular sets / rank @@
+Normal rank
@@ Property / cites work @@
+Real hypercomputation and continuity
@@ Property / cites work: Real hypercomputation and continuity / rank @@
+Normal rank
@@ Property / cites work @@
+Revising Type-2 Computation and Degrees of Discontinuity
+Normal rank