1. F. van Engelen, A. W. Miller and J. Steel, Rigid Borel sets and better quasiorder theory. In [10].
2. H. Friedman, N. Robertson, and P. D. Seymour, The metamathematics of the graph minor theorem. In [10].
3. Borel sets and Ramsey’s theorem;Galvin, Fred;J. Symbolic Logic,1973
4. Ordering by divisibility in abstract algebras;Higman, Graham;Proc. London Math. Soc. (3),1952
5. I. Kříž and R. Thomas, The Menger-like property of tree-width of infinite graphs and related compactness results (submitted).