C. Butz and I. Moerdijk, “A Definability Theorem for First Order Logic”, BRICS, vol. 4, no. 3, Jan. 1997.