Logic

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

Open Problem Garden