Re: A simple question?

Proginoskes wrote:
MoeBlee wrote:
Proginoskes wrote:
MoeBlee wrote:
Proginoskes wrote:
What is this well-ordering of the reals, then?

In ZFC, there exists at least one well ordering of the set of real
numbers. [...]

Yes, but no one has exhibited one explicitly. Your post suggested to me
that someone _had_ found an explicit well-ordering of the real numbers.

Hmm, I don't know why my post suggested that to you. I just said that
in ZFC every set is well ordered. I didn't say anything about an
explicit exhibition of anything.

You didn't mention ZFC in the post in question. You said (at 4:36):

For example, the real numbers are not well
ordered, but there is a well-ordering of the real numbers which is not
the standard ordering.

No, I didn't write that. I QUOTED that and responded to it by
explicitly mentioning ZFC. And throughout my posts, I mentioned ZFC or
the axiom of choice where needed.

It seems you've conflated my comments with those of another poster.

MoeBlee

.

Relevant Pages

  • Re: A simple question?
    ... In ZFC, there exists at least one well ordering of the set of real ... that someone _had_ found an explicit well-ordering of the real numbers. ... explicit exhibition of anything. ...
    (sci.math)
  • Re: Countable models of ZFC
    ... |Are there explicit examples of countable models for ZFC? ... We can pick an explicit example of an infinite branch, ... In the case of ZFC, ...
    (sci.logic)
  • Re: A simple question?
    ... In ZFC, there exists at least one well ordering of the set of real ... that someone _had_ found an explicit well-ordering of the real numbers. ... explicit exhibition of anything. ...
    (sci.math)
  • Re: Countable models of ZFC
    ... LordBeotian wrote: ... There are no "explicit" examples of models for ZFC at all. ... Arturo Magidin ...
    (sci.logic)
  • Re: A simple question?
    ... Proginoskes wrote: ... In ZFC, there exists at least one well ordering of the set of real ... that someone _had_ found an explicit well-ordering of the real numbers. ... explicit exhibition of anything. ...
    (sci.math)
Loading