no code implementations • 22 Feb 2018 • Raphaël Carroy, Yann Pequignot, Zoltán Vidnyánszky
Our main result is the following dichotomy: the embeddability quasi-order restricted to continuous functions from a given compact space to another is either an analytic complete quasi-order or a well-quasi-order.
Logic Primary: 03E15, 26A21, 54C05, 54C25, Secondary: 06A07