I recently spent some time to solve some exercises from Thomas Jech's book "Set Theory" and to typeset my solutions. I'm now done with the six first chapters, that is half of the first part of the book... entitled "Basic Set Theory". Well, I'll probably have to finish the second half to be able to claim that it is "basic" and then I'll still have a lot to study in the two other more advanced parts ;-) New exercises are essentially for chapter 4, as I was already almost done with the other chapters before. That was good to do some topology again! (without using the axiom of choice!)
It was also funny to solve exercise 5.4: if a set can be well-ordered then can be totally ordered. It recalls me when I was 13-14 and was trying to well-order sets constructed from other well-ordered sets. Of course (*), I was stuck on how to build a well-ordering on the powerset of a well-ordered set but I had however been able to construct the linear order described in exercise 5.4. Nowadays, my old proof looks overcomplicated although it could probably be simplified if one uses the symmetric difference and relies on well-known set properties. My most recent proof is much simpler but still not really straightforward as I do not see other ways than testing each case. If someone has a better solution, please post a suggestion...
Here are the links to each chapter:
- Chapter 1: Axioms of Set Theory
- Chapter 2: Ordinal Numbers
- Chapter 3: Cardinal Numbers
- Chapter 4: Real Numbers
- Chapter 5: The Axiom of Choices and Cardinal Arithmetic
- Chapter 6: The Axiom of Regularity
(*) Some years later, someone congratulated me by email for my wonderful proof of how to well-order from a well-ordering on . However, my proof had never been finished and will remain uncomplete. If we can prove in ZF that for any well-orderable set , its powerset is well-orderable then it is easy to prove by ordinal induction that all 's are well-orderable and thus the theorem of Zermelo, which is equivalent to the axiom of choice. But this one is well known to be independent from the other axioms of ZF...