Project

The ordinal and proof-theoretic strength of well-partial orderings