When locality meets preservation

DOI10.1145/3531130.3532498MaRDI QIDQ6649481zbMATH OpenFDO

Authors Aliaume Lopez

Publication date 6 December 2024

Full work available at URL https://doi.org/10.1145/3531130.3532498

zbMATH Keywords

finite model theoryGaifman normal formlocalitypreservation theoremtree depthundecidabilitywell quasi ordering

Mathematics Subject Classification ID

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

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

• 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
• scientific article; zbMATH DE number 3819693 (Why is no real title available?)
• scientific article; zbMATH DE number 3093421 (Why is no real title available?)
• 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)