MathOverflow will be down for maintenance for approximately 3 hours, starting Monday evening (06/24/2013) at approximately 9:00 PM Eastern time (UTC-4).
show/hide this revision's text 2 edited tags
show/hide this revision's text 1

Axiom of Choice and Order Types

A beginner's question:

We know: "Since order-equivalence is an equivalence relation, it partitions the class of all sets into equivalence classes." (from Wikipedia)

This holds since every set can be (well-)ordered by the Axiom of Choice.

But there can be many (well-)orderings of a given set. Especially, the Axiom of Choice doesn't tell us, what the choice function is and thus, what the well-ordering is: there can be many.

Thus, a set can belong to many order types and order-equivalence isn't an equivalence relation anymore.

What's wrong with this (presumably dummy) line of thoughts?