TY - RPRT TI - Invariance and definability, with and without equality AU - Denis Bonnay AU - Fredrik Engström PY - 2013 DO - 10.1215/00294527-2017-0020 UR - https://arxiv.org/abs/1308.1565 ID - 1308.1565 ER -