Minimal bad sequences are necessary for a uniform Kruskal theorem

DOI10.1016/J.AIM.2022.108265MaRDI QIDQ2125990zbMATH OpenOpenAlexWikidataFDO

Authors Anton Freund, Michael Rathjen, Andreas Weiermann

Publication date 14 April 2022

Published in Advances in Mathematics (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/2001.06380

dilators on partial orders independence results Kruskal's theorem minimal bad sequence recursive path ordering reverse mathematics

Mathematics Subject Classification ID

Foundations of classical theories (including reverse mathematics) (03B30) Second- and higher-order arithmetic and fragments (03F35) Trees (05C05) Combinatorics of partially ordered sets (06A07) Grammars and rewriting systems (68Q42)

Recommendations

scientific article; zbMATH DE number 66649
Minimal sequences and the Kadison-Singer problem
scientific article; zbMATH DE number 5769796
scientific article; zbMATH DE number 2085177
Universally \(L^1\)-bad arithmetic sequences
A necessary and sufficient condition for sequences to be minimal completely monotonic
On the minimal extension of sequences
Badly approximable numbers, Kronecker's theorem, and diversity of Sturmian characteristic sequences
Uniformly maldistributed sequences in a strict sense
A minimax theorem in the presence of unbounded Palais-Smale sequences

Cites work

\(\Pi_1^1\)-comprehension as a well-ordering principle
A categorical construction of Bachmann–Howard fixed points
A Computation of the Maximal Order Type of the Term Ordering on Finite Multisets
A note on ordinal exponentiation and derivatives of normal functions
An order-theoretic characterization of the Howard-Bachmann-hierarchy
Computable aspects of the Bachmann-Howard principle
Derivatives of normal functions in reverse mathematics
Eine Grenze Für die Beweisbarkeit der Transfiniten Induktion in der Verzweigten Typenlogik
From Kruskal’s theorem to Friedman’s gap condition
Harvey Friedman's research on the foundations of mathematics
HOW STRONG ARE SINGLE FIXED POINTS OF NORMAL FUNCTIONS?
scientific article; zbMATH DE number 4033738 (Why is no real title available?)
scientific article; zbMATH DE number 956479 (Why is no real title available?)
scientific article; zbMATH DE number 3677903 (Why is no real title available?)
scientific article; zbMATH DE number 3536056 (Why is no real title available?)
scientific article; zbMATH DE number 1104447 (Why is no real title available?)
scientific article; zbMATH DE number 3217001 (Why is no real title available?)
scientific article; zbMATH DE number 3198033 (Why is no real title available?)
Introduction to \(\Pi^1_2\)-logic
On principles between _1- and _2-induction, and monotone enumerations
On the lengths of bad sequences of monomial ideals over polynomial rings
On well-quasi-ordering finite structures with labels
Ordering by Divisibility in Abstract Algebras
Orderings for term-rewriting systems
Ordinal notation systems corresponding to Friedman's linearized well-partial-orders with gap-condition
Ordinal numbers and the Hilbert basis theorem
Predicative collapsing principles
Proof-theoretic investigations on Kruskal's theorem
Reverse mathematics and the equivalence of definitions for well and better quasi-orders
Subsystems of second order arithmetic
Systems of predicative analysis
Two applications of analytic functors
Well-partial orderings and their maximal order types
Well-partial-orderings and the big Veblen number
Well-Quasi-Ordering, The Tree Theorem, and Vazsonyi's Conjecture
Π12-logic, Part 1: Dilators

Cited in

(6)

scientific article; zbMATH DE number 1223728 (Why is no real title available?)
Well ordering principles for iterated \(\Pi^1_1\)-comprehension
Bachmann-Howard derivatives
Minimal bad sequences are necessary for a uniform Kruskal theorem
Well partial orders
On inverse Goodstein sequences

This page was built for publication: Minimal bad sequences are necessary for a uniform Kruskal theorem

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2125990)