When locality meets preservation

DOI10.1145/3531130.3532498MaRDI QIDQ6649481zbMATH OpenFDO

Authors Aliaume Lopez

Publication date 6 December 2024

zbMATH Keywords

finite model theoryundecidabilitylocalitypreservation theoremtree depthwell quasi orderingGaifman normal form

Mathematics Subject Classification ID

Model theory of finite structures (03C13) Decidability of theories and sets of sentences (03B25)

Recommendations

• Preservation theorems in finite model theory
• Preservation under Extensions on Well-Behaved Finite Structures
• Automata, Languages and Programming
• Model Theory Makes Formulas Large
• A generalization of the Łoś-Tarski preservation theorem

Cites work

• scientific article; zbMATH DE number 3819693 (Why is no real title available?)
• scientific article; zbMATH DE number 3093421 (Why is no real title available?)
• A counterexample to a conjecture of Scott and Suppes
• Algorithmic uses of the Feferman-Vaught theorem
• An existential locality theorem
• Elements of finite model theory.
• Homomorphism preservation theorems
• On nowhere dense graphs
• On preservation under homomorphisms and unions of conjunctive queries
• On the extending of models (I)
• Preservation and decomposition theorems for bounded degree structures
• Preservation under Extensions on Well-Behaved Finite Structures
• Properties preserved under homomorphism
• Sparsity. Graphs, structures, and algorithms
• Subgraphs and well‐quasi‐ordering
• The first order properties of products of algebraic systems
• Well-quasi-order of relabel functions

This page was built for publication: When locality meets preservation

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6649481)