Classifying the Provably Total Functions of PA (Q3430936): Difference between revisions

@@ Property / cites work @@
+A classification of the ordinal recursive functions
+Normal rank
@@ Property / cites work @@
+How to characterize provably total functions by local predicativity
+Normal rank
@@ Property / cites work @@
+A Uniform Approach to Fundamental Sequences and Hierarchies
+Normal rank
@@ Property / cites work @@
+Notation systems for infinitary derivations
@@ Property / cites work: Notation systems for infinitary derivations / rank @@
+Normal rank
@@ Property / cites work @@
+Q4893145
@@ Property / cites work: Q4893145 / rank @@
+Normal rank
@@ Property / cites work @@
+A Model-Theoretic Approach to Ordinal Analysis
@@ Property / cites work: A Model-Theoretic Approach to Ordinal Analysis / rank @@
+Normal rank
@@ Property / cites work @@
+Q3325707
@@ Property / cites work: Q3325707 / rank @@
+Normal rank
@@ Property / cites work @@
+On the interpretation of non-finitist proofs–Part II
+Normal rank
@@ Property / cites work @@
+Q5286672
@@ Property / cites work: Q5286672 / rank @@
+Normal rank
@@ Property / cites work @@
+ÜBER EINE BISHER NOCH NICHT BENÜTZTE ERWEITERUNG DES FINITEN STANDPUNKTES
+Normal rank
@@ Property / cites work @@
+Elementary descent recursion and proof theory
@@ Property / cites work: Elementary descent recursion and proof theory / rank @@
+Normal rank
@@ Property / cites work @@
+Analytic combinatorics, proof-theoretic ordinals, and phase transitions for independence results
+Normal rank