Show that every countable linear ordering is isomorphic to some subset of the rationals under their usual order, but that omega_1 (the least uncountable ordinal) with its well order is not isomorphic to any set of reals under their usual ordering. The solution may use any algebraic facts about the reals.
See attachments for fully formulated problem.© BrainMass Inc. brainmass.com October 10, 2019, 12:40 am ad1c9bdddf
Given any countable linear ordering, it is shown how to define an order isomorphism of that linear ordering with some subset of the rationals (under the usual ordering of the rationals). Also, it is proved that omega_1 with its well order is not isomorphic to any set of reals under their usual ordering.