Two-variable logic revisited

08/20/2019
by   Yanger Ma, et al.
0

In this paper we present another proof for the well-known small model property of two-variable logic. As far as we know, existing proofs of this property rely heavily on model theoretic concepts. In contrast, ours is combinatorial in nature and uses only a very simple counting argument, which we find intuitive and elegant. We also consider matching lower bounds.

READ FULL TEXT

Please sign up or login with your details

Forgot password? Click here to reset