Minimal bad sequences are necessary for a uniform Kruskal theorem
From MaRDI portal
Publication:6333063
DOI10.1016/j.aim.2022.108265arXiv2001.06380WikidataQ113880990 ScholiaQ113880990MaRDI QIDQ6333063
Anton Freund, Andreas Weiermann, Michael Rathjen
Publication date: 17 January 2020
Trees (05C05) Combinatorics of partially ordered sets (06A07) Grammars and rewriting systems (68Q42) Foundations of classical theories (including reverse mathematics) (03B30) Second- and higher-order arithmetic and fragments (03F35)
