Project

Well partial ordenings in proof theory and maximal order types