Well-partial-orderings and the big Veblen number (Q2257112): Difference between revisions

@@ Property / DOI @@
-.1007/s00153-014-0408-5
@@ Property / DOI: 10.1007/s00153-014-0408-5 / rank @@
-Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W1988230691
@@ Property / OpenAlex ID: W1988230691 / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q59898616
@@ Property / Wikidata QID: Q59898616 / rank @@
+Normal rank
@@ Property / cites work @@
+The theory of well-quasi-ordering: a frequently discovered concept
+Normal rank
@@ Property / cites work @@
+Q3874266
@@ Property / cites work: Q3874266 / rank @@
+Normal rank
@@ Property / cites work @@
+Proof-theoretic investigations on Kruskal's theorem
+Normal rank
@@ Property / cites work @@
+Bounds for the closure ordinals of replete monotonic increasing functions
+Normal rank
@@ Property / cites work @@
+An order‐theoretic characterization of the Schütte‐Veblen‐Hierarchy
+Normal rank
@@ Property / cites work @@
+Kennzeichnung von Ordnungszahlen durch rekursiv erklärte Funktionen
+Normal rank
@@ Property / cites work @@
+Well-quasiordering finite trees with gap-condition. Proof of Harvey Friedman's conjecture
+Normal rank
@@ Property / cites work @@
+Generalizations of the Kruskal-Friedman theorems
@@ Property / cites work: Generalizations of the Kruskal-Friedman theorems / rank @@
+Normal rank
@@ Property / cites work @@
+Orderings of monomial ideals
@@ Property / cites work: Orderings of monomial ideals / rank @@
+Normal rank
@@ Property / cites work @@
+Q4202962
@@ Property / cites work: Q4202962 / rank @@
+Normal rank
@@ Property / cites work @@
+A Computation of the Maximal Order Type of the Term Ordering on Finite Multisets
+Normal rank
@@ Property / cites work @@
+Q4040375
@@ Property / cites work: Q4040375 / rank @@
+Normal rank
@@ Property / cites work @@
+Complexity bounds for some finite forms of Kruskal's theorem
+Normal rank
@@ Property / DOI @@
+.1007/S00153-014-0408-5
@@ Property / DOI: 10.1007/S00153-014-0408-5 / rank @@
+Normal rank