= 27d567bc2d48d9f40e9ccc20ea370b15)
Decius comments on You only need faith in two things - Less Wrong Discussion
You are viewing a comment permalink. View the original post to see all comments and the full post content.
= 783df68a0f980790206b9ea87794c5b6)
Loading…= b715d02e85f7b3b4ae65ca3d3e450868)
Subscribe to RSS Feed
Powered by Reddit
= f037147d6e6c911a85753b9abdedda8d)
You are viewing a comment permalink. View the original post to see all comments and the full post content.
Comments (86)
Isn't is possible to trivially generate an order of arbitrary size that is well-ordered?
How?
You can do it with the axiom of choice, but beyond that I'm pretty sure you can't.
If "arbitrary size" means "arbitrarily large size," see Hartogs numbers. On the other hand, the well-ordering principle is equivalent to AC.
Take the empty set. Add an element. Preserving the order of existing elements, add a greatest element. Repeat.
That sounds like it would only work for countable sets.
Is the single large ordinal which must be well-ordered uncountable? I had figured that simply unbounded was good enough for this application.