Reverse mathematics and Weihrauch analysis motivated by finite complexity theory (Q5037213): Difference between revisions

@@ 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 @@
+Leaf management
@@ Property / cites work: Leaf management / rank @@
+Normal rank
@@ Property / cites work @@
+Infinite versions of some problems from finite complexity theory
+Normal rank
@@ Property / cites work @@
+Reverse mathematics and uniformity in proofs without excluded middle
+Normal rank
@@ Property / cites work @@
+Using Ramsey's theorem once
@@ Property / cites work: Using Ramsey's theorem once / rank @@
+Normal rank
@@ Property / cites work @@
+∏ 0 1 Classes and Degrees of Theories
@@ Property / cites work: ∏ 0 1 Classes and Degrees of Theories / rank @@
+Normal rank
@@ Property / cites work @@
+SEARCHING FOR AN ANALOGUE OF ATR<sub>0</sub> IN THE WEIHRAUCH LATTICE
+Normal rank
@@ Property / cites work @@
+Q5711891
@@ Property / cites work: Q5711891 / rank @@
+Normal rank
@@ Property / cites work @@
+Applied Proof Theory: Proof Interpretations and Their Use in Mathematics
+Normal rank
@@ Property / cites work @@
+Q3395521
@@ Property / cites work: Q3395521 / 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