Well-behaved principles alternative to bounded induction (Q1885028): Difference between revisions

@@ Property / DOI @@
-.1016/j.tcs.2004.03.022
@@ Property / DOI: 10.1016/j.tcs.2004.03.022 / rank @@
-Normal rank
@@ Property / cites work @@
+A contribution to the end-extension problem and the \(\Pi_ 1\) conservativeness problem
+Normal rank
@@ Property / cites work @@
+Herbrand consistency and bounded arithmetic
@@ Property / cites work: Herbrand consistency and bounded arithmetic / rank @@
+Normal rank
@@ Property / cites work @@
+On Herbrand consistency in weak arithmetic
@@ Property / cites work: On Herbrand consistency in weak arithmetic / rank @@
+Normal rank
@@ Property / cites work @@
+On complexity reduction of \(\Sigma_1\) formulas
@@ Property / cites work: On complexity reduction of \(\Sigma_1\) formulas / rank @@
+Normal rank
@@ Property / cites work @@
+Dynamic ordinal analysis
@@ Property / cites work: Dynamic ordinal analysis / rank @@
+Normal rank
@@ Property / cites work @@
+Q5286672
@@ Property / cites work: Q5286672 / rank @@
+Normal rank
@@ Property / cites work @@
+Structure and definability in general bounded arithmetic theories
+Normal rank
@@ Property / DOI @@
+.1016/J.TCS.2004.03.022
@@ Property / DOI: 10.1016/J.TCS.2004.03.022 / rank @@
+Normal rank