A satisfaction class is a set of nonstandard sentences respecting Tarski's truth definition. We are mainly interested … in full satisfaction classes, i.e., satisfaction classes which decides all nonstandard sentences. Kotlarski, Krajewski … and Lachlan proved in 1981 that a countable model of PA admits a satisfaction class if and only if it is recursively …