AXIOMATIZATION OF PROVABLE n-PROVABILITY (Q5222538): Difference between revisions

@@ Property / arXiv ID @@
+.00381
@@ Property / arXiv ID: 1805.00381 / rank @@
+Normal rank
@@ Property / cites work @@
+Induction rules, reflection principles, and provably recursive functions
+Normal rank
@@ Property / cites work @@
+Parameter free induction and provably total computable functions
+Normal rank
@@ Property / cites work @@
+Proof-theoretic analysis by iterated reflection
@@ Property / cites work: Proof-theoretic analysis by iterated reflection / rank @@
+Normal rank
@@ Property / cites work @@
+Provability algebras and proof-theoretic ordinals. I
+Normal rank
@@ Property / cites work @@
+Reflection principles and provability algebras in formal arithmetic
+Normal rank
@@ Property / cites work @@
+On the limit existence principles in elementary arithmetic and \(\varSigma_{n}^{0}\)-consequences of theories
+Normal rank
@@ Property / cites work @@
+Transfinite recursive progressions of axiomatic theories
+Normal rank
@@ Property / cites work @@
+Interpretability of various extensions of arithmetic
+Normal rank
@@ Property / cites work @@
+On strong provability predicates and the associated modal logics
+Normal rank
@@ Property / cites work @@
+Q5202654
@@ Property / cites work: Q5202654 / rank @@
+Normal rank
@@ Property / cites work @@
+On parameter free induction schemas
@@ Property / cites work: On parameter free induction schemas / rank @@
+Normal rank
@@ Property / cites work @@
+Reflection Principles and their Use for Establishing the Complexity of Axiomatic Systems
+Normal rank
@@ Property / cites work @@
+The optimality of induction as an axiomatization of arithmetic
+Normal rank
@@ Property / cites work @@
+Reflection Principles in Fragments of Peano Arithmetic
+Normal rank
@@ Property / cites work @@
+Q3755452
@@ Property / cites work: Q3755452 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3866106
@@ Property / cites work: Q3866106 / rank @@
+Normal rank
@@ Property / cites work @@
+Self-reference and modal logic
@@ Property / cites work: Self-reference and modal logic / rank @@
+Normal rank
@@ Property / cites work @@
+Systems of Logic Based on Ordinals<sup>†</sup>
@@ Property / cites work: Systems of Logic Based on Ordinals<sup>†</sup> / rank @@
+Normal rank