James Schmerl

• Structure of Models of Peano Arithmetic, the. Oxford Logic Guides, Volume 50