Roman Kossak James H. Schmerl Arithmetically Saturated Models of Arithmetic. 531-546 1995 36 Notre Dame Journal of Formal Logic 4 db/journals/ndjfl/ndjfl36.html#KossakS95