Locally finite trees and the topological minor relation

Jorge Bruno, Paul J. Szeptycki

A well-known theorem of Nash-Williams shows that the collection of locally finite trees under the topological minor relation results in a BQO. Set theoretically, two very natural q…