Stable models and reflexive Banach spaces

Abstract: "We show that a formula [phi](x,y) is stable if and only if [phi] is the pairing map on the unit ball of E x E*, where E is a reflexive Banach space. The result remains true if the formula [phi] is replaced by a set of formulas p(x̄,ȳ)."