DictionaryMarch 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 -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!