A note on the submodel preservation property in fragments of first-order logic

H. Andréka, J. van Benthem, I. Németi

This note contains some material promised in our earlier papers on submodel preservation and the guarded fragment, along with some information on the current status of the problems…