Provability algebras and proof-theoretic ordinals. I (Q1877092): Difference between revisions

@@ Property / cites work @@
+Induction rules, reflection principles, and provably recursive functions
+Normal rank
@@ Property / cites work @@
+A proof-theoretic analysis of collection
@@ Property / cites work: A proof-theoretic analysis of collection / rank @@
+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 @@
+On the induction schema for decidable predicates
@@ Property / cites work: On the induction schema for decidable predicates / rank @@
+Normal rank
@@ Property / cites work @@
+Q4397069
@@ Property / cites work: Q4397069 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3773876
@@ Property / cites work: Q3773876 / rank @@
+Normal rank
@@ Property / cites work @@
+On strong provability predicates and the associated modal logics
+Normal rank
@@ Property / cites work @@
+Wie die Beweistheorie zu ihren Ordinalzahlen kam und kommt
+Normal rank
@@ Property / cites work @@
+Subrecursive degrees and fragments of Peano arithmetic
+Normal rank
@@ Property / cites work @@
+Q4121962
@@ Property / cites work: Q4121962 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4215633
@@ Property / cites work: Q4215633 / rank @@
+Normal rank
@@ Property / cites work @@
+Deduction-preserving "Recursive Isomorphisms" between theories
+Normal rank
@@ Property / cites work @@
+Q4934564
@@ Property / cites work: Q4934564 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3866106
@@ Property / cites work: Q3866106 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4694581
@@ Property / cites work: Q4694581 / rank @@
+Normal rank
@@ Property / cites work @@
+Provability interpretations of modal logic
@@ Property / cites work: Provability interpretations of 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