"Iff" is not expressible in independence-friendly logic

Allen L. Mann

Ordinary first-order logic has the property that two formulas ϕand ψhave the same meaning in a structure if and only if the formula ``ϕiff ψ'' is true in the structure. We prove th…