Finite Model Theory

Title	Author(s)	Imp.¹	Posted by
Fixed-point logic with counting	Blass	✭✭	dberwanger
Order-invariant queries	Segoufin	✭✭	dberwanger
Monadic second-order logic with cardinality predicates	Courcelle	✭✭	dberwanger
Blatter-Specker Theorem for ternary relations	Makowsky	✭✭	dberwanger
MSO alternation hierarchy over pictures	Grandjean	✭✭	dberwanger
Finite entailment of Positive Horn logic	Martin	✭✭	LucSegoufin
Vertex Cover Integrality Gap	Atserias	✭✭	dberwanger

Open Problem Garden