@article{MA2021106122,
    Abstract = {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 are based on a rather intricate model theoretic construction. In contrast, ours uses only simple combinatorial argument which we find more intuitive and direct.},
    Author = {Ma, Yanger and Tan, Tony},
    File = {A simple combinatorial proof for the small model property of two-variable logic - ma2021.pdf},
    ISSN = {0020-0190},
    Journal = {Information Processing Letters},
    Keywords = {Theory of computation, Two-variable logic, Small model property},
    Pages = {106122},
    Title = {A simple combinatorial proof for the small model property of two-variable logic},
    URL = {https://www.sciencedirect.com/science/article/pii/S0020019021000363},
    Volume = {170},
    Year = {2021},
    bdsk-url-1 = {https://www.sciencedirect.com/science/article/pii/S0020019021000363},
    bdsk-url-2 = {https://doi.org/10.1016/j.ipl.2021.106122},
    date-added = {2023-09-15 16:53:00 +0200},
    date-modified = {2023-09-15 16:53:00 +0200},
    doi = {10.1016/j.ipl.2021.106122}
}

@article{MA2021106122, Abstract = {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 are based on a rather intricate model theoretic construction. In contrast, ours uses only simple combinatorial argument which we find more intuitive and direct.}, Author = {Ma, Yanger and Tan, Tony}, File = {A simple combinatorial proof for the small model property of two-variable logic - ma2021.pdf}, ISSN = {0020-0190}, Journal = {Information Processing Letters}, Keywords = {Theory of computation, Two-variable logic, Small model property}, Pages = {106122}, Title = {A simple combinatorial proof for the small model property of two-variable logic}, URL = {https://www.sciencedirect.com/science/article/pii/S0020019021000363}, Volume = {170}, Year = {2021}, bdsk-url-1 = {https://www.sciencedirect.com/science/article/pii/S0020019021000363}, bdsk-url-2 = {https://doi.org/10.1016/j.ipl.2021.106122}, date-added = {2023-09-15 16:53:00 +0200}, date-modified = {2023-09-15 16:53:00 +0200}, doi = {10.1016/j.ipl.2021.106122} }