Project

Towards higher-order well-ordering principles for third order arithmetic