TY - RPRT TI - A note on the submodel preservation property in fragments of first-order logic AU - H. Andréka AU - J. van Benthem AU - I. Németi PY - 2023 UR - https://arxiv.org/abs/2303.13222 ID - 2303.13222 ER -