On maximal order type of the lexicographic product - Institut de Recherche en Informatique Fondamentale
Pré-Publication, Document De Travail Année : 2024

On maximal order type of the lexicographic product

Mirna Džamonja
  • Fonction : Auteur
Institut de Recherche en Informatique Fondamentale
Isa Vialard
  • Fonction : Auteur

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.

Domaines

Mathématiques [math] Informatique [cs]
Fichier principal
Vignette du fichier
o(P.Qnotes)tosend.pdf (223.78 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Mirna Džamonja  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-04700787

Soumis le : mardi 17 septembre 2024-23:08:37

Dernière modification le : dimanche 22 septembre 2024-03:12:59

Télécharger pour visualiser

Dates et versions

hal-04700787 , version 1 (17-09-2024)

Licence

Paternité - Pas d'utilisation commerciale - Pas de modification

Identifiants

  • HAL Id : hal-04700787 , version 1

Citer

Mirna Džamonja, Isa Vialard. On maximal order type of the lexicographic product. 2024. ⟨hal-04700787⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

CNRS UP-SCIENCES IRIF
38 Consultations
7 Téléchargements

Partager

More