3 citations · 6 across the 9 of their papers we have counts for
Showing 2025 · math.LOShow all
2 papers · 2 filters
math.LO2025
Maximal order types for sequences with gap condition
Patrick Uftring
Higman's lemma states that for any well partial order , the partial order of finite sequences with members from is also well. By combining results due to Girard as wel…
math.LO2025
The uniform Kruskal theorem over RCA
Patrick Uftring
Kruskal's theorem famously states that finite trees (ordered using an infima-preserving embeddability relation) form a well partial order. Freund, Rathjen, and Weiermann extended t…