An order automorphism of an order-dense subset of the real line extends uniquely by . Order completeness supplies the extension, and the lower cuts in give uniqueness.
Articles by others on the same topic
There are currently no matching articles.