How to characterize provably total functions by local predicativity (Q4879900): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.2307/2275597
@@ Property / full work available at URL: https://doi.org/10.2307/2275597 / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W1993440975
@@ Property / OpenAlex ID: W1993440975 / rank @@
+Normal rank
@@ Property / cites work @@
+Simplified collapsing functions and their applications
+Normal rank
@@ Property / cites work @@
+Proof theory and ordinal analysis
@@ Property / cites work: Proof theory and ordinal analysis / rank @@
+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 @@
+Q5517655
@@ Property / cites work: Q5517655 / rank @@
+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 @@
+A classification of the ordinal recursive functions
+Normal rank
@@ Property / cites work @@
+Fragments of arithmetic
@@ Property / cites work: Fragments of arithmetic / rank @@
+Normal rank
@@ Property / cites work @@
+Eine Klassifikation der ε<sub>0</sub>‐Rekursiven Funktionen
+Normal rank
@@ Property / cites work @@
+Q3325707
@@ Property / cites work: Q3325707 / rank @@
+Normal rank
@@ Property / cites work @@
+Proof-theoretic analysis of KPM
@@ Property / cites work: Proof-theoretic analysis of KPM / rank @@
+Normal rank
@@ Property / cites work @@
+Q4748053
@@ Property / cites work: Q4748053 / rank @@
+Normal rank