Universal Structures and the Logic of Forbidden Patterns

DOI10.1007/11874683_31zbMath1225.68094arXiv0904.2521OpenAlexW2121002034MaRDI QIDQ3613358

Florent R. Madelaine

Publication date: 12 March 2009

Published in: Computer Science Logic (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/0904.2521

zbMATH Keywords

dualitymonadic second-order logicgraph homomorphismconstraint satisfactionfinite model theory

Mathematics Subject Classification ID

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

Related Items (1)

ASNP: a tame fragment of existential second-order logic

This page was built for publication: Universal Structures and the Logic of Forbidden Patterns