Further applications of ultra-conservative ω-rules (Q3318773): Difference between revisions

@@ Property / cites work @@
+Q5602909
@@ Property / cites work: Q5602909 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4079564
@@ Property / cites work: Q4079564 / rank @@
+Normal rank
@@ Property / cites work @@
+On an extremely restricted ω-rule
@@ Property / cites work: On an extremely restricted ω-rule / rank @@
+Normal rank
@@ Property / cites work @@
+Normal derivability and first-order arithmetic
@@ Property / cites work: Normal derivability and first-order arithmetic / rank @@
+Normal rank
@@ Property / cites work @@
+Note on the fan theorem
@@ Property / cites work: Note on the fan theorem / rank @@
+Normal rank