The proof theoretic strength of the Steinitz exchange theorem (Q858298): Difference between revisions

@@ Property / cites work @@
+Q4003421
@@ Property / cites work: Q4003421 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4855706
@@ Property / cites work: Q4855706 / rank @@
+Normal rank
@@ Property / cites work @@
+Continuous rings with chain conditions
@@ Property / cites work: Continuous rings with chain conditions / rank @@
+Normal rank
@@ Property / cites work @@
+Computer Science Logic
@@ Property / cites work: Computer Science Logic / rank @@
+Normal rank
@@ Property / cites work @@
+The proof complexity of linear algebra
@@ Property / cites work: The proof complexity of linear algebra / rank @@
+Normal rank