Towards computable analysis on the generalised real line (Q2011660): Difference between revisions

@@ 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 @@
+Effective Choice and Boundedness Principles in Computable Analysis
+Normal rank
@@ Property / cites work @@
+Generalized Effective Reducibility
@@ Property / cites work: Generalized Effective Reducibility / rank @@
+Normal rank
@@ Property / cites work @@
+Q4782270
@@ Property / cites work: Q4782270 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4099541
@@ Property / cites work: Q4099541 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4893759
@@ Property / cites work: Q4893759 / rank @@
+Normal rank
@@ Property / cites work @@
+Dedekind cuts of Archimedean complete ordered abelian groups
+Normal rank
@@ Property / cites work @@
+A Candidate for the Generalised Real Line
@@ Property / cites work: A Candidate for the Generalised Real Line / rank @@
+Normal rank
@@ Property / cites work @@
+Q3726227
@@ Property / cites work: Q3726227 / rank @@
+Normal rank
@@ Property / cites work @@
+Turing Computations On Ordinals
@@ Property / cites work: Turing Computations On Ordinals / rank @@
+Normal rank
@@ Property / cites work @@
+Ordinal machines and admissible recursion theory
@@ Property / cites work: Ordinal machines and admissible recursion theory / rank @@
+Normal rank
@@ Property / cites work @@
+On the topological aspects of the theory of represented spaces
+Normal rank
@@ Property / cites work @@
+The computational strengths of \(\alpha\)-tape infinite time Turing machines
+Normal rank
@@ Property / cites work @@
+Q4485693
@@ Property / cites work: Q4485693 / rank @@
+Normal rank