The strength of sharply bounded induction requires MSP (Q636290): Difference between revisions

@@ Property / cites work @@
+Well-behaved principles alternative to bounded induction
+Normal rank
@@ Property / cites work @@
+Bootstrapping. I
@@ Property / cites work: Bootstrapping. I / rank @@
+Normal rank
@@ Property / cites work @@
+Q3794177
@@ Property / cites work: Q3794177 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5286672
@@ Property / cites work: Q5286672 / rank @@
+Normal rank
@@ Property / cites work @@
+The strength of sharply bounded induction
@@ Property / cites work: The strength of sharply bounded induction / rank @@
+Normal rank
@@ Property / cites work @@
+Q4282609
@@ Property / cites work: Q4282609 / rank @@
+Normal rank
@@ Property / cites work @@
+A Model-Theoretic Property of Sharply Bounded Formulae, with some Applications
+Normal rank
@@ Property / cites work @@
+Q4856172
@@ Property / cites work: Q4856172 / rank @@
+Normal rank
@@ Property / cites work @@
+Multifunction algebras and the provability of \(PH\downarrow\)
+Normal rank
@@ Property / cites work @@
+Q5341750
@@ Property / cites work: Q5341750 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3487339
@@ Property / cites work: Q3487339 / rank @@
+Normal rank