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

@misc{freund2026fraïssés,
  title = {{Fraïssé's conjecture, partial impredicativity and well-ordering principles, part II}},
  author = {Anton Freund and Katarzyna W. Kowalik and Davide Manca},
  howpublished = {arXiv},
  year = {2026},
  month = sep,
  doi = {10.48550/arxiv.2609.12581},
  eprint = {2609.12581},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2609.12581},
}

TY  - UNPB
TI  - Fraïssé's conjecture, partial impredicativity and well-ordering principles, part II
AU  - Anton Freund
AU  - Katarzyna W. Kowalik
AU  - Davide Manca
PY  - 2026
DA  - 2026/09/11
PB  - arXiv
DO  - 10.48550/arxiv.2609.12581
UR  - https://arxiv.org/abs/2609.12581
AB  - 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. Together with part I of the present paper, this yields a combinatorial upper bound on the axiomatic strength of Fraïssé's conjecture.
ER  -