recherche de demo, ensemble bien ordonné isomorphe à un ordinal

[invitef8bd6408]

bonjour tout le monde.
Je suis a la recherche d'une démonstration qui montre que tout ensemble bien ordonné est isomorphe à un unique ordinal. Connaissez-vous des sites internet qui l'auront?

Merci
-----

[invite57a1e779]

Oui, tu peux télécharger ce document.

[invitef8bd6408]

merci mais j'ai vu que le théorème qui m'intéresse, il fait noter, résultat admis (c'est le thm 5.1 sur le pdf), il donne pas la démo...

[invite57a1e779]

Essaie le cours de Patrick Dehornoy.

[A voir en vidéo sur Futura]

[Médiat]

Je suis a la recherche d'une démonstration qui montre que tout ensemble bien ordonné est isomorphe à un unique ordinal

Connais-tu le théorème qui dit que pour tout bon ordre X et tout bon ordre Y, soit ils sont égaux soit l'un est segment initial (strict) de l'autre ? Si oui, il suffit de comparer ton ensemble bien ordonné X avec la classe des ordinaux (qui est un bon ordre).

[invitef8bd6408]

je ne connaissais pas mais sur le pdf "le cours de Patrick Dehornoy" il en parle. Je suis en train de lire ça. C'est parfait.

merci bcp