- #1

Dragonfall

- 1,030

- 4

Does there exist a recursive well-ordering of the hereditarily finite sets?

You are using an out of date browser. It may not display this or other websites correctly.

You should upgrade or use an alternative browser.

You should upgrade or use an alternative browser.

- Thread starter Dragonfall
- Start date

- #1

Dragonfall

- 1,030

- 4

Does there exist a recursive well-ordering of the hereditarily finite sets?

- #2

CRGreathouse

Science Advisor

Homework Helper

- 2,842

- 0

The natural well-order is then ({}, {{}}, {{{}}}, {{}, {{}}}, ...)

- #3

Dragonfall

- 1,030

- 4

Excellent. Thanks.

Share:

- Last Post

- Replies
- 2

- Views
- 1K

MHB
Sets

- Last Post

- Replies
- 2

- Views
- 530

- Replies
- 29

- Views
- 751

- Replies
- 4

- Views
- 387

MHB
Finite sum

- Last Post

- Replies
- 1

- Views
- 495

Non Existence
An argument involving well-orders

- Last Post
- Math Proof Training and Practice

- 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