The Structure of Models of Peano Arithmetic (2006)

by R Kossak, J Schmerl