1 problem

0 votes0 replies0 views
Pouzet's conjecture on totally ordering omega-well structured relational structures
Pouzet's conjecture. Every $\omega$ -well structured relational structure $\mathcal{A}$ is a reduct of an $\omega$ -well structured, totally ordered structure.
Conjectureopenequivariant-noetherianity relational-structures well-quasi-ordersarXiv posted 2 days ago

Pouzet's conjecture on totally ordering omega-well structured relational structures