An order-dense subset with no nonidentity order automorphism. A transfinite diagonal construction marks an included point and an excluded image for every nonidentity real-line order automorphism, yielding such a subset of size .
Articles by others on the same topic
There are currently no matching articles.