Re: A simple question?


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.

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: 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: A simple question?
    ... that someone _had_ found an explicit well-ordering of the real numbers. ... I said, "With the axiom of choice added to the ZF axioms, every set ... I didn't say anything about an explicti exhibition of a well ... ordering of the reals. ...
    (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)