1. Avigad, J. (2002). Saturated models of universal theories. Annals of Pure and Applied Logic, 118, 219–234.
2. Enayat A., & Visser, A. (2012) Full satisfaction classes in a general setting (Part I), to appear.
3. Engström, F. (2002). Satisfaction classes in nonstandard models of first-order arithmetic. arXiv.org.math.
http://arxiv4.library.cornell.edu/abs/math/0209408v1
.
4. Fischer, M. (2009). Minimal truth and interpretability. Review of Symbolic Logicit, 2, 799–815.
5. Friedman, H. (1999). Finitist proofs of conservation. FOM Archives.
http://cs.nyu.edu/pipermail/fom/1999-September/003405.html
.