Minimal bad sequences are necessary for a uniform Kruskal theorem (Q2125990): Difference between revisions

@@ Property / cites work @@
+Reverse mathematics and the equivalence of definitions for well and better quasi-orders
+Normal rank
@@ Property / cites work @@
+Orderings for term-rewriting systems
@@ Property / cites work: Orderings for term-rewriting systems / rank @@
+Normal rank
@@ Property / cites work @@
+Systems of predicative analysis
@@ Property / cites work: Systems of predicative analysis / rank @@
+Normal rank
@@ Property / cites work @@
+\(\Pi_1^1\)-comprehension as a well-ordering principle
+Normal rank
@@ Property / cites work @@
+A categorical construction of Bachmann–Howard fixed points
+Normal rank
@@ Property / cites work @@
+Computable aspects of the Bachmann–Howard principle
+Normal rank
@@ Property / cites work @@
+From Kruskal’s theorem to Friedman’s gap condition
+Normal rank
@@ Property / cites work @@
+HOW STRONG ARE SINGLE FIXED POINTS OF NORMAL FUNCTIONS?
+Normal rank
@@ Property / cites work @@
+A note on ordinal exponentiation and derivatives of normal functions
+Normal rank
@@ Property / cites work @@
+PREDICATIVE COLLAPSING PRINCIPLES
@@ Property / cites work: PREDICATIVE COLLAPSING PRINCIPLES / rank @@
+Normal rank
@@ Property / cites work @@
+Derivatives of normal functions in reverse mathematics
+Normal rank
@@ Property / cites work @@
+Q4111536
@@ Property / cites work: Q4111536 / rank @@
+Normal rank
@@ Property / cites work @@
+Π12-logic, Part 1: Dilators
@@ Property / cites work: Π12-logic, Part 1: Dilators / rank @@
+Normal rank
@@ Property / cites work @@
+Introduction to \(\Pi^1_2\)-logic
@@ Property / cites work: Introduction to \(\Pi^1_2\)-logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q3773876
@@ Property / cites work: Q3773876 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4370351
@@ Property / cites work: Q4370351 / 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 @@
+Ordering by Divisibility in Abstract Algebras
@@ Property / cites work: Ordering by Divisibility in Abstract Algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Q3874266
@@ Property / cites work: Q3874266 / rank @@
+Normal rank
@@ Property / cites work @@
+On principles between ∑1- and ∑2-induction, and monotone enumerations
+Normal rank
@@ Property / cites work @@
+On well-quasi-ordering finite structures with labels
+Normal rank
@@ Property / cites work @@
+Well-Quasi-Ordering, The Tree Theorem, and Vazsonyi's Conjecture
+Normal rank
@@ Property / cites work @@
+Q3837736
@@ Property / cites work: Q3837736 / rank @@
+Normal rank
@@ Property / cites work @@
+Well-partial-orderings and the big Veblen number
@@ Property / cites work: Well-partial-orderings and the big Veblen number / rank @@
+Normal rank
@@ Property / cites work @@
+An order-theoretic characterization of the Howard-Bachmann-hierarchy
+Normal rank
@@ Property / cites work @@
+Ordinal notation systems corresponding to Friedman's linearized well-partial-orders with gap-condition
+Normal rank
@@ Property / cites work @@
+Q5734436
@@ Property / cites work: Q5734436 / rank @@
+Normal rank
@@ Property / cites work @@
+On the lengths of bad sequences of monomial ideals over polynomial rings
+Normal rank
@@ Property / cites work @@
+Proof-theoretic investigations on Kruskal's theorem
+Normal rank
@@ Property / cites work @@
+Well-Partial Orderings and their Maximal Order Types
+Normal rank
@@ Property / cites work @@
+Eine Grenze Für die Beweisbarkeit der Transfiniten Induktion in der Verzweigten Typenlogik
+Normal rank
@@ Property / cites work @@
+Q5344167
@@ Property / cites work: Q5344167 / rank @@
+Normal rank
@@ Property / cites work @@
+Harvey Friedman's research on the foundations of mathematics
+Normal rank
@@ Property / cites work @@
+Ordinal numbers and the Hilbert basis theorem
@@ Property / cites work: Ordinal numbers and the Hilbert basis theorem / rank @@
+Normal rank
@@ Property / cites work @@
+Q3395521
@@ Property / cites work: Q3395521 / rank @@
+Normal rank
@@ Property / cites work @@
+A Computation of the Maximal Order Type of the Term Ordering on Finite Multisets
+Normal rank