Questions tagged [well-orders]
For questions about well-orderings and well-ordered sets. Depending on the question, consider adding also some of the tags (elementary-set-theory), (set-theory), (order-theory), (ordinals).
551
questions
148
votes
2
answers
39k
views
Is there a known well ordering of the reals?
So, from what I understand, the axiom of choice is equivalent to the claim that every set can be well ordered. A set is well ordered by a relation, $R$ , if every subset has a least element. My ...
16
votes
2
answers
1k
views
Is there any known uncountable set with an explicit well-order?
There is no known well-order for the reals. Is there a known well-order for any uncountable set?
If not, is it known whether or not an axiom stating that only countable sets can be well-ordered is ...
13
votes
1
answer
625
views
Why isn't this a well ordering of $\{A\subseteq\mathbb N\mid A\text{ is infinite}\}$?
So, to explain the title, I'm referring to the necessity of the axiom of choice in the existence of a well ordering on reals, or any uncountable set.
Now, while tweaking some sets, I came across this ...
13
votes
1
answer
487
views
How strong is the axiom of well-ordered choice?
I sometimes see references to the "Axiom of Well-Ordered Choice," but I'm not sure how strong it is. It states that every well-ordered family of sets has a choice function.
By "well-ordered family," ...
13
votes
1
answer
427
views
Well-orderings and the perfect set property
From a wellordering of an uncountable set of reals, Bernstein constructed a set of reals without the perfect set property. My question is, does an uncountable well-ordering itself violate the perfect ...
13
votes
2
answers
9k
views
Prove that there is no positive integer between 0 and 1
In my textbook "Elementary Number Theory with Applications" by Thomas Koshy on pg. 16, there is an example given just after the well ordering principle:
Prove that there is no positive ...
13
votes
1
answer
670
views
Why do we need "canonical" well-orders?
(I asked this question on MO, https://mathoverflow.net/questions/443117/why-do-we-need-canonical-well-orders)
Von-Neumann ordinals can be thought of "canonical" well-orders, Indeed every ...
12
votes
1
answer
4k
views
Totally ordering the power set of a well ordered set.
Let's say I take a set $S$, where $S$ can be well ordered. From what I understand, one can use that well ordering to totally order $\mathscr{P}(S)$.
How does a body actually use the well ordering of $...
12
votes
1
answer
568
views
Can Well Ordering Theorem Be Proved Without the Axiom of Power Set?
Can it be proved in ZFC - Pow (ZFC excluding the Axiom of Power Set) that Well Ordering Theorem holds? I have seen several proofs of Well Ordering Theorem in ZFC (including Zermelo's original one in ...
11
votes
4
answers
2k
views
Without appealing to choice, can we prove that if $X$ is well-orderable, then so too is $2^X$?
Without appealing to the axiom of choice, it can be shown that (Proposition:) if $X$ is well-orderable, then $2^X$ is totally-orderable.
Question: can we show the stronger result that if $X$ is well-...
11
votes
1
answer
2k
views
The well ordering principle
Here is the statement of The Well Ordering Principle: If $A$ is a nonempty set, then there exists a linear ordering of A such that the set is well ordered.
In the book, it says that the chief ...
11
votes
4
answers
1k
views
Explicit well-ordering of $\mathbb{N}^{\mathbb{N}}$
Is there an explicit well-ordering of $\mathbb{N}^{\mathbb{N}}:=\{g:\mathbb{N}\rightarrow \mathbb{N}\}$?
I've been thinking about that for awhile but nothing is coming to my mind. My best idea is ...
10
votes
2
answers
4k
views
"There is no well-ordered uncountable set of real numbers"
I recently learned (from Munkres) about the axiom of choice, and how it implies the well-ordering theorem.
I've looked through various posts about how to well-order the reals (e.g. this one) but the ...
9
votes
3
answers
2k
views
How to define a well-order on $\mathbb R$?
I would like to define a well-order on $\mathbb R$. My first thought was, of course, to use $\leq$. Unfortunately, the result isn't well-founded, since $(-\infty,0)$ is an example of a subset that ...
9
votes
1
answer
3k
views
Every well-ordered set is isomorphic to a unique ordinal
I'm following a proof in Jech's book that every well ordered set is isomorphic to a unique ordinal and hitting a point where I'm not sure why a certain move is justified. He writes
Proof. The ...