@misc{indiciaeee4d87905072, title = {Two-variable logic has weak, but not strong, Beth definability}, author = {H. Andréka and I. Németi}, year = {2020}, doi = {10.1017/jsl.2021.7}, url = {https://arxiv.org/abs/2010.00901}, note = {Source identifier: 2010.00901} }