Extension preservation theorems on classes of acyclic finite structures

DOI10.1137/080744463MaRDI QIDQ5390610zbMATH OpenOpenAlexFDO

Authors David Duris

Publication date 4 April 2011

Published in SIAM Journal on Computing (Search for Journal in Brave)

Full work available at URL https://semanticscholar.org/paper/f3979eac489e36d1c6d4726c7c70f9cab4e76081

zbMATH Keywords

finite model theoryhypergraph acyclicitypreservation theorem

Mathematics Subject Classification ID

Model theory of finite structures (03C13) Interpolation, preservation, definability (03C40) Hypergraphs (05C65)

Recommendations

• Preservation under Extensions on Well-Behaved Finite Structures
• Automata, Languages and Programming
• Homomorphism preservation theorems
• On preservation under homomorphisms and unions of conjunctive queries
• A generalization of the Łoś-Tarski preservation theorem over classes of finite structures

Cited in

(5)

• Preservation under Extensions on Well-Behaved Finite Structures
• Preservation and decomposition theorems for bounded degree structures
• Automata, Languages and Programming
• Forbidden induced subgraphs and the Łoś-Tarski theorem
• A generalization of the Łoś-Tarski preservation theorem

This page was built for publication: Extension preservation theorems on classes of acyclic finite structures

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