Reverse Mathematics of Matroids (Q2970956): 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 @@
+Weihrauch degrees, omniscience principles and weak computability
+Normal rank
@@ Property / cites work @@
+Effective Choice and Boundedness Principles in Computable Analysis
+Normal rank
@@ Property / cites work @@
+On uniform relationships between combinatorial problems
+Normal rank
@@ Property / cites work @@
+Abstract dependence, recursion theory, and the lattice of recursively enumerable filters
+Normal rank
@@ Property / cites work @@
+Q3041179
@@ Property / cites work: Q3041179 / rank @@
+Normal rank
@@ Property / cites work @@
+Countable algebra and set existence axioms
@@ Property / cites work: Countable algebra and set existence axioms / rank @@
+Normal rank
@@ Property / cites work @@
+Addendum to ``Countable algebra and set existence axioms''
+Normal rank
@@ Property / cites work @@
+On the existence of a connected component of a graph
+Normal rank
@@ Property / cites work @@
+Independence in computable algebra
@@ Property / cites work: Independence in computable algebra / rank @@
+Normal rank
@@ Property / cites work @@
+Connected components of graphs and reverse mathematics
+Normal rank
@@ Property / cites work @@
+Recursively enumerable vector spaces
@@ Property / cites work: Recursively enumerable vector spaces / rank @@
+Normal rank
@@ Property / cites work @@
+Recursion theory on fields and abstract dependence
+Normal rank
@@ Property / cites work @@
+On the Abstract Properties of Linear Dependence
@@ Property / cites work: On the Abstract Properties of Linear Dependence / rank @@
+Normal rank