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)