On maximal order type of the lexicographic product
Résumé
We give a self-contained proof of Isa Vialard's formula for o(P • Q) where P and Q are wpos. The proof introduces the notion of a cut of partial order, which might be of independent interest.
| Origine | Fichiers produits par l'(les) auteur(s) |
|---|
