March 30, 2012 at 14:40 | Posted in Uncategorized | Leave a comment

I took a look at the Abraham/Magidor article in the Handbook of Set Theory, and what they discuss in Section 5 of their article is within epsilon of what Shelah uses in Section 1 of Chapter VIII of The Book. There are minor technical differences,but their writing is so much clearer than Shelah’s that I’m tempted to prove the main results of Chapter VIII section 1 using their version of things (minimally obedient universal sequences and {\kappa}-presentable models) instead of Shelah’s (“suppose (a)-(e) of 1.2 hold”).

What this means in practical terms is that I’m going to be doing some translation of Section 1 of Chapter VIII into the language of the Handbook and see how well the proofs go through.

Tedious, but probably worthwhile in the interest of making the material accessible!


Leave a Comment »

RSS feed for comments on this post. TrackBack URI

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 )

Google+ photo

You are commenting using your Google+ 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 )


Connecting to %s

Blog at WordPress.com.
Entries and comments feeds.

%d bloggers like this: