Is there a brief overview of fine structure theory of inner models for a relatively general audience? There are quite a few articles about forcing (such as < which give a large picture overview appropriate for someone with nothing more than an introductory graduate course in set theory. I was wondering if there was anything equivalent for the fine structure theory of L and other inner models? I know about the handbook of set theory articles but these presupposes a technical background knowledge of inner model theory.

A lot of the material from the Handbook chapter (at least concerning $L$) is also covered in Ralf Schindler's book _Set Theory: Exploring Independence and Truth_ , with the added benefit that more details are worked out and the book covers all the prerequisites. For a fancier treatment that covers more complicated inner models (and also does things like $\Sigma^*$ theory) perhaps Zeman's _Inner Models and Large Cardinals_ might work.