research
∙
03/05/2020
From Kruskal's theorem to Friedman's gap condition
Harvey Friedman's gap condition on embeddings of finite labelled trees p...
research
∙
01/17/2020