Logic Seminar

Working in the framework of Borel reducibility, we analyze the complexity of the natural counterparts in terms of quasi-orders of the well-known relations of equivalence for arcs and knots. It turns out that this problem is related to the study of convex embeddability between countable linear orders (and of its analogue for circular orders), which is a topic of independent interest. This is work in progress, joint with Iannella, Kulikov and Marcone.