1 problem

0 votes0 replies0 views
Reflection-principle classifications for labelled Kruskal's theorem
Pakhomov–Freund conjectures. The following two equivalences are conjectured:
Conjectureopenkruskal-theorem proof-theory reverse-mathematicsarXiv posted 2 days ago

Reflection-principle classifications for labelled Kruskal's theorem