1. Limited time only! Sign up for a free 30min personal tutor trial with Chegg Tutors
    Dismiss Notice
Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

Well-Ordering Hereditarily Finite Sets

  1. Apr 22, 2008 #1
    Does there exist a recursive well-ordering of the hereditarily finite sets?
  2. jcsd
  3. Apr 22, 2008 #2


    User Avatar
    Science Advisor
    Homework Helper

    Sure. At each step in the construction, only a finite number of sets are added; these can be ordered as desired (lexiographically, say).

    The natural well-order is then ({}, {{}}, {{{}}}, {{}, {{}}}, ...)
  4. Apr 22, 2008 #3
    Excellent. Thanks.
Share this great discussion with others via Reddit, Google+, Twitter, or Facebook