On 9/2/2024 8:25 PM, Ross Finlayson wrote:
> On 09/02/2024 02:46 PM, Jim Burns wrote:
>> [...]
>
> If a well-ordering exists, then,
> consider it as a bijective function from ordinal O,
> and thus its "elements" or ordinals O,
> to domain D.
We are well.ordering the reals, so...
let O = βΆβ = |β| = |π«(β)|
let D = β
let #: β β βΆβ: bijective
https://en.wikipedia.org/wiki/Beth_number
> As a Cartesian function the usual way, that's thusly
> a set of ordered pairs (o, d) which then
> via usual axioms and schema of comprehension and
> the existence of choice,
> read out in order the element (o_alpha, d).
>
> So, a well-ordering of the reals, this function, takes
> any subset of uncountably many elements (o_alpha, d, alpha).
> Now, what's so is that
> only countably many of the d can be in their normal order,
> that alpha < beta -> d_alpha < d_beta.
...or x,y such that #x < #y β x < y
> This is because
> there are rational numbers between any of those,
> and only countably many of those.
I don't see what you're getting at.
In the usual order,
there are rational numbers between any two real numbers,
and only countably many rational numbers,
and uncountably.many real numbers in their usual order.
One doesn't prevent the other.
Maybe there is a different argument available.
|
|