1 problem

Stable-tree decomposition conjecture. If $\langle K,\prec_K\rangle$ satisfies $P_1,\ldots,P_n$, then for every sufficiently large $M\in K$ there exist a finite tree…