Project

Measuring the logical strength of well quasi-orders and better quasi-orders