TY - JOUR AU - Anscombe, Will AU - Koenigsmann, Jochen IS - 4 JA - Journal of Symbolic Logic PY - 2014 TI - An existential ∅-definition of in VL - 79 ER -