12.07.2015 Views

my forty years on his shoulders - Department of Mathematics

my forty years on his shoulders - Department of Mathematics

my forty years on his shoulders - Department of Mathematics

SHOW MORE
SHOW LESS
  • No tags were found...

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

42THEOREM 8.10. (finite KT). Let n >> k. For all finite trees T 1 ,...,T n with each |T i |≤ i+k, there exists i < j such that T i is inf preserving embeddable into T j .Since Theorem 8.10 → Theorem 8.9 → Corollary 8.5 (using bounds n+k,variable n, k c<strong>on</strong>stant), we see that Theorem 8.10 is not provable in FS.Other Π 0 2 forms <strong>of</strong> KT involving <strong>on</strong>ly the internal structure <strong>of</strong> a singlefinite tree can be found in (Friedman 2002b).We proved analogous results for EKT = extended Kruskal theorem, whichinvolves a finite label set and a gap embedding c<strong>on</strong>diti<strong>on</strong>. Only here the strengthjumps up to that <strong>of</strong> Π 1 1-CA 0 .We said that the gap c<strong>on</strong>diti<strong>on</strong> was natural (i.e., EKT was natural). Manypeople were unc<strong>on</strong>vinced.So<strong>on</strong> later, EKT became a tool in the pro<strong>of</strong> <strong>of</strong> the well known graph minortheorem <strong>of</strong> Roberts<strong>on</strong>, Seymour (Roberts<strong>on</strong>, Seymour 1985, 2004).THEOREM 8.11. Let G 1 ,G 2 ,... be finite graphs. There exists i < j such that G i isminor included in G j .We then asked Roberts<strong>on</strong> and Seymour to prove a form <strong>of</strong> EKT that weknew implied full EKT, just from GMT. They complied, and we wrote the triplepaper (Friedman, Roberts<strong>on</strong>, Seymour 1987).The upshot is that GMT is not provable in Π 1 1-CA 0 . Just where GMT isprovable is unclear, and recent discussi<strong>on</strong>s with Roberts<strong>on</strong> have not stabilized.We disavow remarks in (Friedman, Roberts<strong>on</strong>, Seymour 1987) about where GMTcan be proved.

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!