Analysis of a Double Kruskal Theorem
arXiv:1603.01900
Abstract
The strength of an extension of Kruskal's Theorem to certain pairs of cohabitation trees is calibrated.
arXiv:1603.01900
The strength of an extension of Kruskal's Theorem to certain pairs of cohabitation trees is calibrated.