Upper bounds on the graph minor theorem

Martin Krombholz, Michael Rathjen

Lower bounds on the proof-theoretic strength of the graph minor theorem were found over 30 years ago by Friedman, Robertson and Seymour 1987, but upper bounds have always been elus…