ON WEIHRAUCH REDUCIBILITY AND INTUITIONISTIC REVERSE MATHEMATICS (Q4600462): Difference between revisions

@@ Property / cites work @@
+Weihrauch degrees, omniscience principles and weak computability
+Normal rank
@@ Property / cites work @@
+The Bolzano-Weierstrass theorem is the jump of weak Kőnig's lemma
+Normal rank
@@ Property / cites work @@
+Handbook of proof theory
@@ Property / cites work: Handbook of proof theory / rank @@
+Normal rank
@@ Property / cites work @@
+Classical consequences of continuous choice principles from intuitionistic analysis
+Normal rank
@@ Property / cites work @@
+On uniform relationships between combinatorial problems
+Normal rank
@@ Property / cites work @@
+STRONG REDUCTIONS BETWEEN COMBINATORIAL PRINCIPLES
+Normal rank
@@ Property / cites work @@
+Intuitionistic Provability versus Uniform Provability in $$\mathsf{RCA}$$
+Normal rank
@@ Property / cites work @@
+Reverse mathematics and uniformity in proofs without excluded middle
+Normal rank
@@ Property / cites work @@
+Formalized recursive functionals and formalized realizability
+Normal rank
@@ Property / cites work @@
+Q5711891
@@ Property / cites work: Q5711891 / rank @@
+Normal rank
@@ Property / cites work @@
+Intuitionistische Untersuchungen der formalistischen Logik
+Normal rank
@@ Property / cites work @@
+Q4220572
@@ Property / cites work: Q4220572 / rank @@
+Normal rank
@@ Property / cites work @@
+Metamathematical investigation of intuitionistic arithmetic and analysis. With contributions by C. A. Smorynski, J. I. Zucker and W. A. Howard
+Normal rank