Preservation and decomposition theorems for bounded degree structures

DOI10.2168/LMCS-11(4:17)2015zbMath1448.03024MaRDI QIDQ3460422

Frederik Harwath, Lucas Heimberg, Nicole Schweikardt

Publication date: 7 January 2016

Published in: Logical Methods in Computer Science (Search for Journal in Brave)

zbMATH Keywords

first-order logiccomputational logichomomorphism preservationpreservation theoremsHanf localityFeferman-Vaughtelementary algorithmsexistential preservationLoś-Tarskimodulo counting quantifiersstructures of bounded degree

Mathematics Subject Classification ID

Logic with extra quantifiers and operators (03C80) Model theory of finite structures (03C13) Interpolation, preservation, definability (03C40) Descriptive complexity and finite models (68Q19)

Related Items (2)

Feferman-vaught decompositions for prefix classes of first order logic ⋮ Unnamed Item

This page was built for publication: Preservation and decomposition theorems for bounded degree structures