Results 1 to 6 of 6

Math Help - in ZFC, set of WO reals -- existence provable, ability to exhibit in V<>L unprovable?

  1. #1
    Member
    Joined
    Aug 2010
    Posts
    130

    in ZFC, set of WO reals -- existence provable, ability to exhibit in V<>L unprovable?

    In ZFC, the existence of a well-ordering of the reals is provable, being equivalent to AC. Fine. If, in addition, one assumes V=L, one can well-order them by well-ordering the formulas. A bit harder, but OK. However, if you assume the existence of non-constructible reals, is it possible that one could prove (how, I do not have a clue) that every set which well-orders the reals is a non-constructible set, and therefore cannot be explicitly exhibited? Or, although no one has yet come up with an explicit well-ordering of the reals, is there any hope that an explicit well-ordering is theoretically possible?
    Follow Math Help Forum on Facebook and Google+

  2. #2
    Senior Member
    Joined
    Feb 2010
    Posts
    466
    Thanks
    4

    Re: in ZFC, set of WO reals -- existence provable, ability to exhibit in V<>L unprova

    Quote Originally Posted by nomadreid View Post
    In ZFC, the existence of a well-ordering of the reals is provable, being equivalent to AC.
    That doesn't ring right to me. AC implies a well ordering of the reals. And that every set has a well ordering implies AC. But I doubt that the mere assumption that the reals have a well ordering implies AC.

    Quote Originally Posted by nomadreid View Post
    If, in addition, one assumes V=L, one can well-order them by well-ordering the formulas.
    What proof in particular are you referring to? V=L implies AC, but I don't know a proof of that by merely well ordering formulas.

    Quote Originally Posted by nomadreid View Post
    no one has yet come up with an explicit well-ordering of the reals, is there any hope that an explicit well-ordering is theoretically possible?
    As far as I understand, the answer is 'no'. A result of Feferman is that no explicitly defined well ordering of the real exists. This is mentioned in Levy's 'Basic Set Theory'.
    Follow Math Help Forum on Facebook and Google+

  3. #3
    Member
    Joined
    Aug 2010
    Posts
    130

    Re: in ZFC, set of WO reals -- existence provable, ability to exhibit in V<>L unprova

    I doubt that the mere assumption that the reals have a well ordering implies AC.
    Oops. I accidentally omitted "WO" in the sentence. That should have read, "In ZFC, the existence of a well-ordering of the reals is provable, WO being equivalent to AC." Not, as you rightly pointed out, just the well-ordering of the reals.

    L, one can well-order them....What proof in particular are you referring to?
    Again, that was rather sloppily expressed, but I was referring to the following:
    Constructible universe - Wikipedia, the free encyclopedia

    As far as I understand, the answer is 'no'. A result of Feferman is that no explicitly defined well ordering of the real exists. This is mentioned in Levy's 'Basic Set Theory'.
    The other two parts were sloppy introductions, which I apparently had best left out, to this question. So thank you, MoeBlee, for this precise answer. As I am do not have access to a print version of Levy's book, then I will hope that I can find that somewhere: perhaps in Basic set theory - Google (not certain, since some pages are omitted). But as this omits much of the index, then in case you have the page number, that would be highly appreciated. Thanks again.
    Follow Math Help Forum on Facebook and Google+

  4. #4
    Senior Member
    Joined
    Feb 2010
    Posts
    466
    Thanks
    4

    Re: in ZFC, set of WO reals -- existence provable, ability to exhibit in V<>L unprova

    I don't have the book with me today. I'll try to remember to bring the book with me tomorrow to quote from it and give you the page numbers and the reference to the original paper.
    Follow Math Help Forum on Facebook and Google+

  5. #5
    Senior Member
    Joined
    Feb 2010
    Posts
    466
    Thanks
    4

    Re: in ZFC, set of WO reals -- existence provable, ability to exhibit in V<>L unprova

    Paraphrasing from 'Basic Set Theory' by Levy, pg. 173 ['P' for power set; 'w' for omega]:

    One cannot prove in ZFC that there is a definable x that satisfies "x is a well ordering of Pw"
    by Feferman "Some applications of the notions of forcing and generic sets" in Fund. Math. 56, 325-345 (1965).

    /

    I don't think it's crucial in this context whether we couch this in terms of R (the set of reals) or in terms of Pw.

    However, in certain other respects, what I said is different from what Levy reports there, but, given some reasonable understanding of the vocabulary, I think we could get my statement from Levy's.

    I grant though, that I've not worked out for myself a fully precise understanding of this subject of "definable sets".

    In any case, Levy's discussion is pages 171-176.
    Follow Math Help Forum on Facebook and Google+

  6. #6
    Member
    Joined
    Aug 2010
    Posts
    130

    Re: in ZFC, set of WO reals -- existence provable, ability to exhibit in V<>L unprova

    Thanks a million, MoeBlee. This will be a tremendous help.
    Follow Math Help Forum on Facebook and Google+

Similar Math Help Forum Discussions

  1. Replies: 1
    Last Post: August 23rd 2010, 08:23 AM
  2. Unprovable statements
    Posted in the Advanced Math Topics Forum
    Replies: 4
    Last Post: August 9th 2010, 04:28 PM
  3. Replies: 1
    Last Post: May 14th 2010, 01:53 AM
  4. Sets of Reals
    Posted in the Discrete Math Forum
    Replies: 1
    Last Post: May 8th 2008, 12:01 AM

Search Tags


/mathhelpforum @mathhelpforum