Finite Model Theory on Tame Classes of Structures

DOI10.1007/978-3-540-74456-6_2MaRDI QIDQ3525551zbMATH OpenOpenAlexWikidataFDO

Authors 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)

Recommendations

• scientific article; zbMATH DE number 219195
• A restricted second order logic for finite structures
• Finite and infinite model theory - a historical perspective
• Finite-model theory -- A personal perspective
• Finite model theory and its applications.

Cited in

(19)

• Fixed-parameter tractable distances to sparse graph classes
• On nowhere dense graphs
• Interpreting nowhere dense graph classes as a classical notion of model theory
• Counting homomorphisms to sparse graphs
• On (uniform) hierarchical decompositions of finite structures and model-theoretic geometry
• scientific article; zbMATH DE number 4031664 (Why is no real title available?)
• Finite and infinite model theory - a historical perspective
• Some Aspects of Model Theory and Finite Structures
• First order properties on nowhere dense structures
• A finitary analogue of the downward Löwenheim-Skolem property
• Logical properties of random graphs from small addable classes
• scientific article; zbMATH DE number 5038454 (Why is no real title available?)
• How many F's are there in G?
• Characterisations and examples of graph classes with bounded expansion
• Extension preservation in the finite and prefix classes of first-order logic
• Monadic NIP in monotone classes of relational structures (extended abstract)
• Preservation theorems on sparse classes revisited
• Extension preservation on dense graph classes
• Homomorphism preservation on quasi-wide classes

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

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