Effectivity and reducibility with ordinal Turing machines (Q5037207): Difference between revisions

@@ Property / cites work @@
+Q3222180
@@ Property / cites work: Q3222180 / rank @@
+Normal rank
@@ Property / cites work @@
+The Bolzano-Weierstrass theorem is the jump of weak Kőnig's lemma
+Normal rank
@@ Property / cites work @@
+Weihrauch Complexity in Computable Analysis
@@ Property / cites work: Weihrauch Complexity in Computable Analysis / rank @@
+Normal rank
@@ Property / cites work @@
+Generalized Effective Reducibility
@@ Property / cites work: Generalized Effective Reducibility / rank @@
+Normal rank
@@ Property / cites work @@
+Ordinal computability. An introduction to infinitary machines
+Normal rank
@@ Property / cites work @@
+Recognizable sets and Woodin cardinals: computation beyond the constructible universe
+Normal rank
@@ Property / cites work @@
+Fine structure and class forcing
@@ Property / cites work: Fine structure and class forcing / rank @@
+Normal rank
@@ Property / cites work @@
+Towards computable analysis on the generalised real line
+Normal rank
@@ Property / cites work @@
+Q3261422
@@ Property / cites work: Q3261422 / rank @@
+Normal rank
@@ Property / cites work @@
+Effective Mathematics of the Uncountable
@@ Property / cites work: Effective Mathematics of the Uncountable / rank @@
+Normal rank
@@ Property / cites work @@
+On the Effectivity of Some Field Constructions
@@ Property / cites work: On the Effectivity of Some Field Constructions / rank @@
+Normal rank
@@ Property / cites work @@
+The axiom of choice
@@ Property / cites work: The axiom of choice / rank @@
+Normal rank
@@ Property / cites work @@
+Q5625138
@@ Property / cites work: Q5625138 / rank @@
+Normal rank
@@ Property / cites work @@
+Turing Computations On Ordinals
@@ Property / cites work: Turing Computations On Ordinals / rank @@
+Normal rank
@@ Property / cites work @@
+ON WEIHRAUCH REDUCIBILITY AND INTUITIONISTIC REVERSE MATHEMATICS
+Normal rank
@@ Property / cites work @@
+Provident sets and rudimentary set forcing
@@ Property / cites work: Provident sets and rudimentary set forcing / rank @@
+Normal rank
@@ Property / cites work @@
+Tree Representations via Ordinal Machines
@@ Property / cites work: Tree Representations via Ordinal Machines / rank @@
+Normal rank
@@ Property / cites work @@
+Q3037419
@@ Property / cites work: Q3037419 / rank @@
+Normal rank