On the width of the cartesian product of ordinals - Archive ouverte HAL
Pré-Publication, Document De Travail Année : 2023

On the width of the cartesian product of ordinals

Isa Vialard
  • Fonction : Auteur
  • PersonId : 1308966

Résumé

The ordinal invariants, i.e., maximal order type, height, and width, are measures of a well quasi-ordering (wqo) based on the ordinal rank of the trees of its bad sequences, strictly decreasing sequences, and antichain sequences, respectively. Complex wqos are often built from simpler wqos through basic constructions such as disjoint sum, direct sum, cartesian product, and higher-order constructions like powerset or sequences. One main challenge is to compute the ordinal invariants of such wqos compositionally. This article focuses on the width of the cartesian product of wqos, for which no general formula is known. The particular case of the cartesian product of two ordinals has already been solved (Abraham, Order 4, 1987). We generalize this study and compute the width of the cartesian product of finitely many ordinals. To this end, we develop new tools for proving lower bounds on the width of wqos. Finally, we leverage our main result to compute the width of a generic family of elementary wqos that is closed under cartesian product.
Fichier principal
Vignette du fichier
manuscript.pdf (520.54 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Licence

Dates et versions

hal-04287427 , version 1 (15-11-2023)

Licence

Identifiants

Citer

Isa Vialard. On the width of the cartesian product of ordinals. 2023. ⟨hal-04287427⟩
40 Consultations
43 Téléchargements

Altmetric

Partager

More