A simple combinatorial proof for small model property of two-variable logic

Yanger Ma, Tony Tan

We present another proof for the well-known {\em small model property} of two-variable logic. As far as we know, existing proofs of this property rely heavily on model theoretic co…