Minimal Satisfaction Classes with an Application to Rigid Models of {Peano} Arithmetic.

Roman Kossak James H. Schmerl Minimal Satisfaction Classes with an Application to Rigid Models of {Peano} Arithmetic. 392-398 1991 32 Notre Dame Journal of Formal Logic 3 db/journals/ndjfl/ndjfl32.html#KossakS91