Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

Membership chains

  1. May 28, 2008 #1
    Why do membership chains ([tex]a\in b\in c\in ...[/tex]) have length at most [tex]\omega[/tex]?
  2. jcsd
  3. May 28, 2008 #2


    User Avatar
    Science Advisor
    Homework Helper

    They don't. The axiom of infinity gives us a chain [itex]\varnothing\in\{\varnothing\}\in\cdots\in\omega,[/itex], but [itex]\omega\in\{\omega,\cup\omega\}.[/itex] That's a chain of length [itex]\omega+1.[/itex]

    Perhaps you mean [itex]a\ni b\ni c\ni\cdots[/itex], which has length less than [itex]\omega[/itex] by the axiom of regularity/foundation?
  4. May 28, 2008 #3
    All chains in [tex]\omega[/tex] are finite.
Share this great discussion with others via Reddit, Google+, Twitter, or Facebook