@misc{indiciaef852c0f0ce55, title = {Finite-variable logics do not have weak Beth definability property}, author = {H. Andréka and I. Németi}, year = {2014}, doi = {10.1007/978-3-319-15368-1\_4}, url = {https://arxiv.org/abs/1409.5059}, note = {Source identifier: 1409.5059} }