116c- Lecture 10

We studied basic properties of club sets, defined diagonal intersection and showed that the intersection of fewer than kappa many club subsets of an uncountable regular cardinal kappa is club and also the diagonal intersection of kappa many club sets is club.

We also showed that if {mathcal A}=(kappa,dots) is a structure in a countable language, then for club many alpha<kappa, alpha is the universe of an elementary substructure of {mathcal A}. The proof in fact works as long as the language has size smaller than kappa.

We closed with some basic examples of stationary sets and stated Fodor’s theorem.

Remark. The proof given in lecture of the fact that the diagonal intersection of club sets is club was purely combinatorial. In a forthcoming lecture, I will prove the reflection theorem, that any finite collection of sentences true in the universe is true in arbitrarily large stages V_alpha. With this and a few absoluteness facts, one can give a different proof, in effect showing that many ordinals below a cardinal kappa “behave like” kappa itself. This idea, which we will formalize once reflection is presented, is a very useful heuristic that allows us to use (basic) model theoretic techniques to prove combinatorial arguments.

Advertisements

Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out / Change )

Twitter picture

You are commenting using your Twitter account. Log Out / Change )

Facebook photo

You are commenting using your Facebook account. Log Out / Change )

Google+ photo

You are commenting using your Google+ account. Log Out / Change )

Connecting to %s

%d bloggers like this: