A Computation of the Maximal Order Type of the Term Ordering on Finite Multisets (Q3576087): Difference between revisions

@@ Property / cites work @@
+Orderings of monomial ideals
@@ Property / cites work: Orderings of monomial ideals / rank @@
+Normal rank
@@ Property / cites work @@
+Q4693774
@@ Property / cites work: Q4693774 / rank @@
+Normal rank
@@ Property / cites work @@
+A Uniform Approach to Fundamental Sequences and Hierarchies
+Normal rank
@@ Property / cites work @@
+Q3874266
@@ Property / cites work: Q3874266 / rank @@
+Normal rank
@@ Property / cites work @@
+Fields of surreal numbers and exponentiation
@@ Property / cites work: Fields of surreal numbers and exponentiation / rank @@
+Normal rank
@@ Property / cites work @@
+Q4385532
@@ Property / cites work: Q4385532 / rank @@
+Normal rank
@@ Property / cites work @@
+Polynomial functions with exponentiation are well ordered
+Normal rank
@@ Property / cites work @@
+Systems of predicative analysis, II: Representations of ordinals
+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 @@
+Two applications of analytic functors
@@ Property / cites work: Two applications of analytic functors / rank @@
+Normal rank
@@ Property / cites work @@
+Computable linearizations of well-partial-orderings
+Normal rank
@@ Property / cites work @@
+Proof-theoretic investigations on Kruskal's theorem
+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 @@
+Ein in der reinen Zahlentheorie unbeweisbarer Satz über endliche Folgen von natürlichen Zahlen
+Normal rank
@@ Property / cites work @@
+The complexity of decision procedures in relevance logic II
+Normal rank
@@ Property / cites work @@
+Q4202962
@@ Property / cites work: Q4202962 / rank @@
+Normal rank
@@ Property / cites work @@
+An order‐theoretic characterization of the Schütte‐Veblen‐Hierarchy
+Normal rank