TY  - JOUR

T1  - An elementary definability theorem for first order logic

JO  - J SYMBOLIC LOGIC

PY  - 2014/03/12

AU  - Butz C

AU  - Moerdijk I

ED  - 

VL  - 64

IS  - 3

SP  - 1028

EP  - 1036

Y2  - 2025/12/08

ER  -