2023/03/23 by H. Andréka, Andréka, H., J. van Benthem +3
Computer Science · #03C40 #Advanced Algebra and Logic #FOS: Mathematics #Logic (math.LO) #Logic, Reasoning, and Knowledge #Logic, programming, and type systems
paper · pdf · doi:10.48550/arxiv.2303.13222
openalex publication_date 2023/03/23 · openalex created_date 2023/03/25 · openalex updated_date 2026/07/28
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 mentioned in these papers. Section 1 contains an early example of failure of Los-Tarski for finite-variable fragments with binary relations from a 1992 manuscript, with no substantial change of content. For further background to this example, Section 2 surveys a number of results concerning the submodel preservation property for various fragments of first-order logic.