  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.
