{"id":"arxiv/2609.12581","url":"https://arxiv.org/abs/2609.12581","tags":["math.LO"],"score":0,"title":"Fraïssé's conjecture, partial impredicativity and well-ordering principles, part II","domain":"math.LO","source":"arxiv","authors":["Anton Freund","Katarzyna W. Kowalik","Davide Manca"],"reviews":0,"subject":"math.LO","summary":"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.","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-09-11","reactions":{}}