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 Threads - Ordering Hereditarily Finite Date
B Is infinity truly infinite if it has something else in it? Mar 13, 2018
B How to build an equation or expression? Jul 15, 2017
I Derivation of second order Adams-Bashforth May 9, 2017
I Can we order Complex Numbers? Apr 1, 2017