Well-Ordering Hereditarily Finite Sets

  • Thread starter Dragonfall
  • Start date
  • #1
1,030
4
Does there exist a recursive well-ordering of the hereditarily finite sets?
 

Answers and Replies

  • #2
CRGreathouse
Science Advisor
Homework Helper
2,824
0
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 ({}, {{}}, {{{}}}, {{}, {{}}}, ...)
 
  • #3
1,030
4
Excellent. Thanks.
 

Related Threads on Well-Ordering Hereditarily Finite Sets

  • Last Post
Replies
1
Views
3K
  • Last Post
Replies
3
Views
5K
  • Last Post
Replies
16
Views
10K
  • Last Post
Replies
12
Views
2K
Replies
9
Views
485
Replies
1
Views
2K
Replies
4
Views
3K
  • Last Post
Replies
1
Views
1K
  • Last Post
Replies
3
Views
3K
  • Last Post
2
Replies
40
Views
4K
Top