Bonjour,
en relisant un mémoire que j'avais écrit sur les ordinaux, j'en suis venu à me poser la question suivante:
On notel'ordre naturel sur
. Si
est une bijection de
, on défini l'ordre
par
. Est-ce que tous les bons ordres sur
peuvent être construits de cette manière?
Cordialement
-----