1
$\begingroup$

The following is an exercise in Just/Weese:

Prove that for every set $X$ there exists exactly one initial ordinal $\kappa$ such that $X \approx \kappa$.

An ordinal is called initial ordinal if it is not equipotent with any smaller ordinal.

Can you tell me if my proof is correct? Thank you.

Assume there are two initial ordinals, $\kappa \neq \kappa'$ with $\kappa \approx X \approx \kappa'$. Wlog let $\kappa < \kappa' $. Then this is a contradiction to $\kappa'$ being the smallest ordinal in bijection with $X$.

To show existence assume AC so that $X$ can be well-ordered. Let $o$ be the order type of $X$. Define $S = \{o' \mid o' \in \mathbf{ON}, o' \approx o \} \subseteq \mathbf{ON}$. Since $\mathbf{ON}$ is a well-order, $S$ has a minimal element $s_0$. This is the initial ordinal of $X$.

The exercise is rated difficult so I expect this proof to be flawed but I can't seem to spot the mistake.

  • 1
    I see nothing wrong with your overall reasoning. Though the contradiction in your uniqueness proof is to $\kappa^\prime$ being an initial ordinal, since it is equipotent with a strictly smaller ordinal.2012-12-09
  • 0
    @ArthurFischer Thank you. Then perhaps the rating of the exercise is a typo.2012-12-09
  • 0
    The proof seems fine to me.2012-12-09
  • 1
    Most of the PG-rated exercises in Just-Weese just require having the correct idea about the concepts they are about. If you get the right insight quickly, they may seem very easy and solutions write themselves. If you don't, they may seem very hard. (This is all to say that if a PG exercise seems easy to you, it is likely because you are understanding the underlying concepts.)2012-12-09
  • 0
    @ArthurFischer Do you happen to have read Just/Weese II, too? I am asking because I am thinking about reading it next but it doesn't seem to have any reviews (on amazon).2012-12-09
  • 2
    I have read a large chunk of the second volume, though I cannot say I've been through all of it. It continues with most of the conversational style of the first, however it is much more densely written, with even more exercises. Overall, I think it is a good second text in set theory, and should prepare you well for going through the classic text of Kunen.2012-12-09
  • 0
    @Arthur: I think that Matt is going to go through Halbeisen soon, rather than Kunen.2012-12-09
  • 0
    @AsafKaragila You are quite right, I was planning to do that. But then I checked the book and it comes without exercises. Now I'm not so sure anymore.2012-12-10

1 Answers 1