Informal writeups on logic, complexity, and whatever else catches my attention.

1. Fagin's Theorem: NP and Existential Second-Order Logic 2024-03-01