@article{article, title = {{An elementary definability theorem for first order logic}}, url = {{}}, year = {{1999}}, month = {{9}}, author = {{Butz C and Moerdijk I}}, volume = {{64}}, journal = {{J SYMBOLIC LOGIC}}, issue = {{3}}, pages = {{1028-1036}}, note = {{Accessed on 2024/12/22}}}