Re: A simple question?


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.

--- 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: 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)