Extension Preservation Theorems on Classes of Acyclic Finite Structures

DOI10.1137/080744463zbMath1220.03012OpenAlexW2080005106MaRDI QIDQ5390610

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 theorypreservation theoremhypergraph acyclicity

Mathematics Subject Classification ID

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

Related Items

A generalization of the Łoś-Tarski preservation theorem