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

@@ 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