Two-variable logic has weak, but not strong, Beth definability

H. Andréka, I. Németi

We prove that the two-variable fragment of first-order logic has the weak Beth definability property. This makes the two-variable fragment a natural logic separating the weak and t…