Logic

Title	Author(s)	Imp.¹	Topic » Subtopic	Posted by
Vertex Cover Integrality Gap	Atserias	✭✭	Finite Model Theory	dberwanger
Fixed-point logic with counting	Blass	✭✭	Finite Model Theory	dberwanger
Monadic second-order logic with cardinality predicates	Courcelle	✭✭	Finite Model Theory	dberwanger
Termination of the sixth Goodstein Sequence	Graham	✭		mdevos
MSO alternation hierarchy over pictures	Grandjean	✭✭	Finite Model Theory	dberwanger
F_d versus F_{d+1}	Krajicek	✭✭✭		zitterbewegung
Blatter-Specker Theorem for ternary relations	Makowsky	✭✭	Finite Model Theory	dberwanger
Finite entailment of Positive Horn logic	Martin	✭✭	Finite Model Theory	LucSegoufin
Order-invariant queries	Segoufin	✭✭	Finite Model Theory	dberwanger
Tarski's exponential function problem	Tarski	✭✭		Charles

Open Problem Garden