3 papers
math.LO2026
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…
math.LO2023
Weak well orders and Fraïssé's conjecture
Anton Freund, Davide Manca
The notion of well order admits an alternative definition in terms of embeddings between initial segments. We use the framework of reverse mathematics to investigate the logical st…
math.LO2022
Normal functions and maximal order types
Anton Freund, Davide Manca
Transformations of well partial orders induce functions on the ordinals, via the notion of maximal order type. In most examples from the literature, these functions are not normal,…