@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 2025/07/12}}}