Well-Ordering Hereditarily Finite Sets

  • Thread starter Dragonfall
  • Start date
  • #1
Dragonfall
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,842
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
Dragonfall
1,030
4
Excellent. Thanks.
 

Suggested for: Well-Ordering Hereditarily Finite Sets

  • Last Post
Replies
2
Views
1K
MHB Sets
  • Last Post
Replies
2
Views
530
Replies
29
Views
751
Replies
4
Views
387
  • Last Post
Replies
1
Views
495
Replies
9
Views
833
  • Last Post
Replies
3
Views
841
  • Last Post
Replies
12
Views
3K
Replies
4
Views
339
  • Last Post
Replies
1
Views
437
Top