Starting from well-quasi-orders (wqos), we motivate step by step the introduction of the complicated notion of better-quasi-order (bqo). We then discuss the equivalence between the two main approaches to defining bqo and state several essential results of bqo theory. After recalling the rôle played by the ideals of a wqo in its bqoness, we give a new presentation of known examples of wqos which fail to be bqo. We also provide new forbidden pattern conditions ensuring that a quasi-order is a better quasi-order.
CITATION STYLE
Carroy, R., & Pequignot, Y. (2020). Well, Better and In-Between. In Trends in Logic (Vol. 53, pp. 1–27). Springer Science and Business Media B.V. https://doi.org/10.1007/978-3-030-30229-0_1
Mendeley helps you to discover research relevant for your work.