Butz, C.; Moerdijk, I. A Definability Theorem for First Order Logic. BRICS 1997, 4.