Forum:Friedman's EKT

I know Friedman has derived an extended Kruskal theorem that is closely related to the Robertson-Seymour theorem, so I'm pretty sure the growth rate of EKT(k) would be on the order of \(\psi_0(\Omega_{\omega})\). Anyone know how it would compare to SCG(k)? --Ixfd64 (talk) 21:04, August 16, 2015 (UTC)