Fraïssé's conjecture, partial impredicativity and well-ordering principles, part II

Anton Freund, Katarzyna W. Kowalik, Davide Manca

We exhibit a well-ordering principle that is equivalent to a theory of partial impredicativity. The latter goes back to Towsner and relates to recent work of Suzuki and Yokoyama. T…