1. May 28, 2008 #1

   Dragonfall

   

   Why do membership chains ([tex]a\in b\in c\in ...[/tex]) have length at most [tex]\omega[/tex]?

    

   Dragonfall, May 28, 2008
2. 
   Phys.org - latest science and technology news stories on Phys.org

   • • Archaeologists in Egypt discover mummification workshop
   • • NASA Juno data indicate another possible volcano on Jupiter moon Io
   • • Microsoft urges regulation of face-recognizing tech
3. May 28, 2008 #2

   CRGreathouse

   

   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?

    

   CRGreathouse, May 28, 2008
4. May 28, 2008 #3

   Dragonfall

   

   All chains in [tex]\omega[/tex] are finite.

    

   Dragonfall, May 28, 2008

• Log in with Facebook
• Log in with Twitter

Your name or email address:

Do you already have an account?

• No, create an account now.
• Yes, my password is:
• Forgot your password?

Stay logged in