The length of an intersection (Q5108104): Difference between revisions

@@ Property / cites work @@
+Program termination and well partial orderings
@@ Property / cites work: Program termination and well partial orderings / rank @@
+Normal rank
@@ Property / cites work @@
+Arithmetic of ordinals with applications to the theory of ordered Abelian groups
+Normal rank
@@ Property / cites work @@
+Height of a superposition
@@ Property / cites work: Height of a superposition / rank @@
+Normal rank
@@ Property / cites work @@
+Q3874266
@@ Property / cites work: Q3874266 / rank @@
+Normal rank
@@ Property / cites work @@
+Theory of relations. Transl. from the French by P. Clote. With an appendix by Norbert Sauer.
+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 @@
+Ordering by Divisibility in Abstract Algebras
@@ Property / cites work: Ordering by Divisibility in Abstract Algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Set Theory
@@ Property / cites work: Set Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Q3972753
@@ Property / cites work: Q3972753 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4843402
@@ Property / cites work: Q4843402 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3691785
@@ Property / cites work: Q3691785 / rank @@
+Normal rank
@@ Property / cites work @@
+Ordered sets with no chains of ideals of a given type
+Normal rank
@@ Property / cites work @@
+Dimension de Krull des ensembles ordonnés. (Krull dimension of ordered sets)
+Normal rank
@@ Property / cites work @@
+The order type of the collection of finite series-parallel posets
+Normal rank
@@ Property / cites work @@
+Proof-theoretic investigations on Kruskal's theorem
+Normal rank
@@ Property / cites work @@
+Q3684139
@@ Property / cites work: Q3684139 / rank @@
+Normal rank
@@ Property / cites work @@
+Partially well ordered sets and partial ordinals
@@ Property / cites work: Partially well ordered sets and partial ordinals / rank @@
+Normal rank