From Kruskal’s theorem to Friedman’s gap condition
2020 ◽
Vol 30
(8)
◽
pp. 952-975
Keyword(s):
AbstractHarvey Friedman’s gap condition on embeddings of finite labelled trees plays an important role in combinatorics (proof of the graph minor theorem) and mathematical logic (strong independence results). In the present paper we show that the gap condition can be reconstructed from a small number of well-motivated building blocks: It arises via iterated applications of a uniform Kruskal theorem.
Keyword(s):
1997 ◽
Vol 161
◽
pp. 23-47
◽
1988 ◽
Vol 46
◽
pp. 8-9
Keyword(s):
1993 ◽
Vol 51
◽
pp. 876-877
1984 ◽
Vol 105
(1)
◽
pp. 273-287
◽
2016 ◽
Vol 37
(3)
◽
pp. 181-193
◽