Duality Theorems for Finite Structures (Characterizations Gaps and Good Characterizations)

Abstrakt

Characterizes finitary homomorphism dualities for finite models and solves a long standing problem of gaps for oriented graphs (and more generally for relational structures).