On maximal order type of the lexicographic product

Mirna Džamonja,Isa Vialard
2024-09-15
Abstract:We give a self-contained proof of Isa Vialard's formula for $o(P\cdot Q)$ where $P$ and $Q$ are wpos. The proof introduces the notion of a cut of partial order, which might be of independent interest.
Logic
What problem does this paper attempt to address?