FINDING DESCENDING SEQUENCES THROUGH ILL-FOUNDED LINEAR ORDERS (Q5159502): Difference between revisions

@@ Property / cites work @@
+The uniform content of partial and linear orders
@@ Property / cites work: The uniform content of partial and linear orders / rank @@
+Normal rank
@@ Property / cites work @@
+Effective Borel measurability and reducibility of functions
+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 @@
+Weihrauch degrees, omniscience principles and weak computability
+Normal rank
@@ Property / cites work @@
+WEIHRAUCH GOES BROUWERIAN
@@ Property / cites work: WEIHRAUCH GOES BROUWERIAN / rank @@
+Normal rank
@@ Property / cites work @@
+Completion of choice
@@ Property / cites work: Completion of choice / rank @@
+Normal rank
@@ Property / cites work @@
+Probabilistic computability and choice
@@ Property / cites work: Probabilistic computability and choice / rank @@
+Normal rank
@@ Property / cites work @@
+The Bolzano-Weierstrass theorem is the jump of weak Kőnig's lemma
+Normal rank
@@ Property / cites work @@
+The Vitali Covering Theorem in the Weihrauch Lattice
+Normal rank
@@ Property / cites work @@
+Monte Carlo Computability
@@ Property / cites work: Monte Carlo Computability / rank @@
+Normal rank
@@ Property / cites work @@
+On the algebraic structure of Weihrauch degrees
@@ Property / cites work: On the algebraic structure of Weihrauch degrees / rank @@
+Normal rank
@@ Property / cites work @@
+ON THE UNIFORM COMPUTATIONAL CONTENT OF RAMSEY’S THEOREM
+Normal rank
@@ Property / cites work @@
+On uniform relationships between combinatorial problems
+Normal rank
@@ Property / cites work @@
+Q4249724
@@ Property / cites work: Q4249724 / rank @@
+Normal rank
@@ Property / cites work @@
+Ramsey’s theorem and products in the Weihrauch degrees
+Normal rank
@@ Property / cites work @@
+Uniformly defined descending sequences of degrees
@@ Property / cites work: Uniformly defined descending sequences of degrees / rank @@
+Normal rank
@@ Property / cites work @@
+How incomputable is the separable Hahn-Banach theorem?
+Normal rank
@@ Property / cites work @@
+A comparison of concepts from computable analysis and effective descriptive set theory
+Normal rank
@@ Property / cites work @@
+Recursive Pseudo-Well-Orderings
@@ Property / cites work: Recursive Pseudo-Well-Orderings / rank @@
+Normal rank
@@ Property / cites work @@
+Combinatorial principles weaker than Ramsey's Theorem for pairs
+Normal rank
@@ Property / cites work @@
+Stability and posets
@@ Property / cites work: Stability and posets / rank @@
+Normal rank
@@ Property / cites work @@
+SEARCHING FOR AN ANALOGUE OF ATR<sub>0</sub> IN THE WEIHRAUCH LATTICE
+Normal rank
@@ Property / cites work @@
+Finite choice, convex choice and finding roots
@@ Property / cites work: Finite choice, convex choice and finding roots / rank @@
+Normal rank
@@ Property / cites work @@
+Q3837736
@@ Property / cites work: Q3837736 / rank @@
+Normal rank
@@ Property / cites work @@
+The maximal linear extension theorem in second order arithmetic
+Normal rank
@@ Property / cites work @@
+Degrees of unsolvability of continuous functions
@@ Property / cites work: Degrees of unsolvability of continuous functions / rank @@
+Normal rank
@@ Property / cites work @@
+Q5322161
@@ Property / cites work: Q5322161 / rank @@
+Normal rank
@@ Property / cites work @@
+A topological view on algebraic computation models
+Normal rank
@@ Property / cites work @@
+The weakness of being cohesive, thin or free in reverse mathematics
+Normal rank
@@ Property / cites work @@
+On the topological aspects of the theory of represented spaces
+Normal rank
@@ Property / cites work @@
+Descriptive Set Theory in the Category of Represented Spaces
+Normal rank
@@ Property / cites work @@
+Q4040890
@@ Property / cites work: Q4040890 / rank @@
+Normal rank
@@ Property / cites work @@
+Harvey Friedman's research on the foundations of mathematics
+Normal rank
@@ Property / cites work @@
+Mass problems and intuitionism
@@ Property / cites work: Mass problems and intuitionism / rank @@
+Normal rank
@@ Property / cites work @@
+Q3395521
@@ Property / cites work: Q3395521 / rank @@
+Normal rank