Lofty Models of Peano Arithmetic - James H. Schmerl (2020)