Arithmetically Saturated Models of Arithmetic.

Roman KossakJames H. Schmerl
Published in: Notre Dame J. Formal Log. (1995)