Substructure lattices and almost minimal end extensions of models of Peano arithmetic

This paper concerns intermediate structure lattices Lt(/ℳ), where is an almost minimal elementary end extension of the model ℳ of Peano Arithmetic. For the purposes of this abstract only, let us say that ℳ attains L if L ≅ Lt(/ℳ) for some almost minimal elementary end extension of . If T is a completion of PA and L is a finite lattice, then: (A) If some model of T attains L, then every countable model of T does. (B) If some rather classless, ℵ1-saturated model of T attains L, then every model of T does. (© 2004 WILEY-VCH Verlag GmbH & Co. KGaA, Weinheim)