Work

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

Year: 2026

Type: preprint

Abstract: 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.

Source: arXiv (Cornell University)

DOI: 10.48550/arxiv.2609.12581

Authors: Freund, Anton, Kowalik, Katarzyna W., Manca, Davide

Language: English

Topic: Advanced Topology and Set Theory

Subfield: Geometry and Topology

Field: Mathematics

Domain: Physical Sciences

Open Access status: green

Funder: Deutsche Forschungsgemeinschaft

Award: Stetige Transformationen geordneter Mengen: Eine Brücke zwischen Ordinalzahlanalyse, reverser Mathematik und Kombinatorik

OpenAlex ID: W7213098978

Cites: 4

Cited by: 1

Related to: 10