In this paper we survey wqo and bqo theory from the reverse mathematics perspective. We consider both elementary results (such as the equivalence of different definitions of the concepts, and basic closure properties) and more advanced theorems. The classification from the reverse mathematics viewpoint of both kinds of results provides interesting challenges, and we cover also recent advances on some long standing open problems.
CITATION STYLE
Marcone, A. (2020). The Reverse Mathematics of wqos and bqos. In Trends in Logic (Vol. 53, pp. 189–219). Springer Science and Business Media B.V. https://doi.org/10.1007/978-3-030-30229-0_8
Mendeley helps you to discover research relevant for your work.