Proof Theoretic Analysis by Iterated Reflection (Q4637223): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-319-22156-4_9
+Normal rank
@@ Property / OpenAlex ID @@
+W2609272412
@@ Property / OpenAlex ID: W2609272412 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4896518
@@ Property / cites work: Q4896518 / rank @@
+Normal rank
@@ 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 @@
+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 @@
+Arithmetization of metamathematics in a general setting
+Normal rank
@@ Property / cites work @@
+Transfinite recursive progressions of axiomatic theories
+Normal rank
@@ Property / cites work @@
+Systems of predicative analysis
@@ Property / cites work: Systems of predicative analysis / rank @@
+Normal rank
@@ Property / cites work @@
+Q3813782
@@ Property / cites work: Q3813782 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3962995
@@ Property / cites work: Q3962995 / rank @@
+Normal rank
@@ Property / cites work @@
+Interpretability of various extensions of arithmetic
+Normal rank
@@ Property / cites work @@
+Q5286672
@@ Property / cites work: Q5286672 / 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 @@
+Q5513756
@@ Property / cites work: Q5513756 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5608740
@@ Property / cites work: Q5608740 / rank @@
+Normal rank
@@ Property / cites work @@
+Wie die Beweistheorie zu ihren Ordinalzahlen kam und kommt
+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 @@
+Existence and feasibility in arithmetic
@@ Property / cites work: Existence and feasibility in arithmetic / rank @@
+Normal rank
@@ Property / cites work @@
+Q5600870
@@ Property / cites work: Q5600870 / rank @@
+Normal rank
@@ Property / cites work @@
+On <i>n</i>-quantifier induction
@@ Property / cites work: On <i>n</i>-quantifier induction / rank @@
+Normal rank
@@ Property / cites work @@
+Q4215633
@@ Property / cites work: Q4215633 / rank @@
+Normal rank
@@ Property / cites work @@
+Proof theory. The first step into impredicativity
@@ Property / cites work: Proof theory. The first step into impredicativity / rank @@
+Normal rank
@@ Property / cites work @@
+Q3325707
@@ Property / cites work: Q3325707 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3866106
@@ Property / cites work: Q3866106 / rank @@
+Normal rank
@@ Property / cites work @@
+Eine Grenze Für die Beweisbarkeit der Transfiniten Induktion in der Verzweigten Typenlogik
+Normal rank
@@ Property / cites work @@
+Q5344167
@@ Property / cites work: Q5344167 / rank @@
+Normal rank
@@ Property / cites work @@
+Transfinite induction within Peano arithmetic
@@ Property / cites work: Transfinite induction within Peano arithmetic / rank @@
+Normal rank
@@ Property / cites work @@
+Q4694229
@@ Property / cites work: Q4694229 / rank @@
+Normal rank
@@ Property / cites work @@
+On the scheme of induction for bounded arithmetic formulas
+Normal rank