Re: A simple question?


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.

A good question (for the group) would then be: Is anyone working on
describing such an ordering explicitly?

--- Christopher Heckman

.

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. ... explicitly mentioning ZFC. ...
    (sci.math)
  • 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: 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)