1 problem

Pouzet's conjecture. Every $\omega$-well structured relational structure $\mathcal{A}$ is a reduct of an $\omega$-well structured, totally ordered structure.