Rigidity for predicates and the trivialization problem

Dan López de Sa, Formal Theories, and Empirical Theories

Philosophers' Imprint, vol. 8, no. 1, 2008, pp. 1–13