April 9, 2009
1. Colorings of pairs. I
There are several possible ways in which one can try to generalize Ramsey’s theorem to larger cardinalities. We will discuss some of these generalizations in upcoming lectures. For now, let’s highlight some obstacles.
Theorem 1 (-Kakutani) In fact,
Proof: Let Let be given by
Then, if are distinct, it is impossible that
Theorem 2 (Sierpi\’nski) In fact,
Proof: With as above, let be given as follows: Let be a well-order of in order type Let be the lexicographic ordering on Set
Lemma 3 There is no -increasing or decreasing -sequence of elements of
Proof: Let be a counterexample. Let be least such that has size and let be such that if then To simplify notation, we will identify and For let be such that but By regularity of there is such that for many
But if and then iff so It follows that has size contradicting the minimality of
The lemma implies the result: If has size and is -homogeneous, then contradicts Lemma 3.
Now I want to present some significant strengthenings of the results above. The results from last lecture exploit the fact that a great deal of coding can be carried out with infinitely many coordinates. Perhaps surprisingly, strong anti-Ramsey results are possible, even if we restrict ourselves to colorings of pairs.
Read the rest of this entry »
March 5, 2009
4. Large cardinals and cardinal arithmetic
In section 3 we saw how the powers of singular cardinals (or, at least, of singulars of uncountable cofinality) satisfy strong restrictions. Here I show that similar restrictions hold at large cardinals. There is much more than one could say about this topic, and the results I present should be seen much more like an invitation than a full story. Also, for lack of time, I won’t motivate the large cardinals we will discuss. (In the ideal world, one should probably say a few words about one’s beliefs in large cardinals, since their existence and even their consistency goes beyond what can be done in the standard system I’ll however take their existence for granted, and proceed from there.)
1. Measurable cardinals
Definition 1 is a measurable cardinal iff and there is a nonprincipal -complete ultrafilter over
Read the rest of this entry »
March 4, 2009
This set is due March 11 at the beginning of lecture. Details of the homework policy can be found on the syllabus and here.
Solve exercises 7, 35, 40, 43, 44, 45 from Chapter 6 of the book.
February 22, 2009
I am not happy with the solutions I received for problems 4 and 5 of Homework set 2 so, for this new set, due March 2 at the beginning of lecture, you must redo these two problems correctly. As usual, the homework policy is detailed in the syllabus. However, there are a few points I want to emphasize:
- Although I have so far allowed collaboration, each student should write their own solutions. If a group of students collaborate in a problem, they should indicate so at the beginning of their solutions.
Let me explain this a bit. I do not simply mean that each of you has to write or type your own set of solutions. Of course I expect that, but I expect more than that. When you write your solutions, you should do this on your own. I do not want to see exactly the same mistakes in different people, exactly the same notation, exactly the same equations. If I see it ever again, even if it is not intentional, I will not allow collaboration any longer. Collaboration means that you work together and help one another and give suggestions to one another. Once you have come up with a solution, then collaboration stops and you should write your own version of what was found.
- Also, if references are consulted, they should be listed. This means you should mention the books you look at that gave you ideas. This means you should give the name of the book, the author, the edition, the theorem you are using or quoting or being inspired by. Similarly, if you find ideas online, mention the webpage where you found them.
Now, and this is very important: Your solutions are your own. It may be that by accident in some book you run into the solution of a problem I assigned. This is fine, as long as it is not done intentionally, and I trust your honesty in this regard. Remember that you are bound by an honor code. It is not acceptable to copy the solution the book gives, not even if you give a complete reference that makes it clear that the solution is not your own. If you find a useful idea in a book, make sure you understand it before you use it. Just copying it down will not be acceptable, even if you change notation or the order in which the idea is presented. If you find a solution in a book, and you do not understand it, you will be better off not attempting to use it.
If I see that the two points above (or any of the details of the homework policy) are not followed, I may change the grading policy and increase the number of quizzes we will have and the percentage they contribute to your total grade.
Please make sure your solutions are reasonably self contained. If you use a result we have not shown in class you need to provide a proof. Please make sure you turn in your homework on time. This means at the beginning of lecture, not at the end of lecture or in the middle of lecture.