## Dictionary

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”).