2000 character limit reached
Two-variable logic has weak, but not strong, Beth definability (2010.00901v3)
Published 2 Oct 2020 in math.LO
Abstract: 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 the strong Beth properties since it does not have the strong Beth definability property.