A definability theorem for first order logic

Carsten Butz, Ieke Moerdijk

For any first order theory T we construct a Boolean valued model M, in which precisely the T--provable formulas hold, and in which every (Boolean valued) subset which is invariant…