An ordinal calculus for proving termination in term rewriting (Q5878912): Difference between revisions

@@ 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 @@
+Accessible Independence Results for Peano Arithmetic
+Normal rank
@@ Property / cites work @@
+Q5533181
@@ Property / cites work: Q5533181 / rank @@
+Normal rank