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

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.apal.2009.03.002
+Normal rank
@@ Property / OpenAlex ID @@
+W2024677584
@@ Property / OpenAlex ID: W2024677584 / rank @@
+Normal rank
@@ 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
@@ links / mardi / name / links / mardi / name @@
+Publication:636290