发表机构
University of Würzburg; University of Warsaw; TU Wien（维尔茨堡大学; 华沙大学; 维也纳工业大学）
机构由 AI 辅助整理，请以论文原文为准。AI 中文总结
本文证明一个良序原理等价于部分非直谓性理论，结合第一部分给出Fraïssé猜想公理强度的组合上界。
AI 中文摘要
我们展示了一个良序原理，它等价于一种部分非直谓性理论。后者可追溯至Towsner的工作，并与Suzuki和Yokoyama近期的研究相关。结合本文的第一部分，这为Fraïssé猜想的公理强度提供了一个组合上界。
英文摘要
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.
