Ordinal recursive bounds for Higman's theorem (Q1129003): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+A Short Proof of Two Recently Discovered Independence Results Using Recursion Theoretic Methods
+Normal rank
@@ Property / cites work @@
+An ordinal calculus for proving termination in term rewriting
+Normal rank
@@ Property / cites work @@
+Q3874266
@@ Property / cites work: Q3874266 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3695270
@@ Property / cites work: Q3695270 / rank @@
+Normal rank
@@ Property / cites work @@
+Ordinal complexity of recursive definitions
@@ Property / cites work: Ordinal complexity of recursive definitions / rank @@
+Normal rank
@@ Property / cites work @@
+What's so special about Kruskal's theorem and the ordinal \(\Gamma{}_ 0\)? A survey of some results in proof theory
+Normal rank
@@ Property / cites work @@
+Π12-logic, Part 1: Dilators
@@ Property / cites work: Π12-logic, Part 1: Dilators / rank @@
+Normal rank
@@ Property / cites work @@
+Q5629622
@@ Property / cites work: Q5629622 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5538951
@@ Property / cites work: Q5538951 / rank @@
+Normal rank
@@ Property / cites work @@
+Accessible Independence Results for Peano Arithmetic
+Normal rank
@@ Property / cites work @@
+Q5533181
@@ Property / cites work: Q5533181 / rank @@
+Normal rank
@@ Property / cites work @@
+Ein in der reinen Zahlentheorie unbeweisbarer Satz über endliche Folgen von natürlichen Zahlen
+Normal rank
@@ Property / cites work @@
+Rekursionszahlen und die Grzegorczyk-Hierarchie
@@ Property / cites work: Rekursionszahlen und die Grzegorczyk-Hierarchie / rank @@
+Normal rank
@@ Property / cites work @@
+Eine Klassifikation der ε<sub>0</sub>‐Rekursiven Funktionen
+Normal rank
@@ Property / cites work @@
+A classification of the ordinal recursive functions
+Normal rank
@@ Property / cites work @@
+Ordinal recursion, and a refinement of the extended Grzegorczyk hierarchy
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/s0304-3975(97)00009-1
+Normal rank
@@ Property / OpenAlex ID @@
+W2014322000
@@ Property / OpenAlex ID: W2014322000 / rank @@
+Normal rank