Reverse mathematics of a uniform Kruskal-Friedman theorem
From MaRDI portal
Publication:6385864
arXiv2112.08727MaRDI QIDQ6385864
Publication date: 16 December 2021
Combinatorics of partially ordered sets (06A07) Graph minors (05C83) Foundations of classical theories (including reverse mathematics) (03B30) Second- and higher-order arithmetic and fragments (03F35) Recursive ordinals and ordinal notations (03F15)