Reflection-principle classifications for labelled Kruskal's theorem
Pakhomov–Freund conjectures. The following two equivalences are conjectured:
MathDB