Finite Model Theory on Tame Classes of Structures

DOI10.1007/978-3-540-74456-6_2zbMath1147.03311OpenAlexW1562988890WikidataQ58215605 ScholiaQ58215605MaRDI QIDQ3525551

Anuj Dawar

Publication date: 17 September 2008

Published in: Mathematical Foundations of Computer Science 2007 (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-74456-6_2

Mathematics Subject Classification ID

Model theory of finite structures (03C13) Descriptive complexity and finite models (68Q19)

Related Items (9)

Logical properties of random graphs from small addable classes ⋮ Fixed-parameter tractable distances to sparse graph classes ⋮ On nowhere dense graphs ⋮ Interpreting nowhere dense graph classes as a classical notion of model theory ⋮ How many \(F\)'s are there in \(G\)? ⋮ Characterisations and examples of graph classes with bounded expansion ⋮ First order properties on nowhere dense structures ⋮ Homomorphism preservation on quasi-wide classes ⋮ Counting Homomorphisms to Sparse Graphs

This page was built for publication: Finite Model Theory on Tame Classes of Structures