Showing math.LOShow all
2 papers · 1 filter
math.LO2025
Generalized Higman's Theorem and iterated ideals
Fedor Pakhomov, Giovanni SoldÃ
Generalized Higman's Theorem is the direct counterpart of Higman's Theorem that asserts the closure of the class of \emph{better} quasi-orders, instead of the class of \emph{well}…
math.LO2024
On Nash-Williams' Theorem regarding sequences with finite range
Fedor Pakhomov, Giovanni SoldÃ
The famous theorem of Higman states that for any well-quasi-order (wqo) the embeddability order on finite sequences over is also wqo. In his celebrated 1965 paper, Nash-Wil…