具有间隙条件的Well拟序有限三通。哈维·弗里德曼猜想的证明

摘要

设$s，t$是边用序数标记的树。我们说，如果$s$可以嵌入到$t$中，那么$s$相对于gap-condition是小于或等于t$t$的，以便每条边都映射到一条由具有更大或相等标签的边组成的路径上。我们证明了有限树对于间隙条件是良好拟序的。这解决了哈维·弗里德曼提出的问题。