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.
Know someone interested in this topic? Share this thread via Reddit, Google+, Twitter, or Facebook

Similar Discussions: Well-Ordering Hereditarily Finite Sets
  1. Well ordering (Replies: 1)

  2. Set of all finite sets (Replies: 12)