Open Problems in Mathematical Logic

This site collects open problems in mathematical logic — set theory, model theory, proof theory, computability, and beyond — each with its own page giving a precise statement, its current status, known partial results, and relevant references. Anyone can suggest edits or propose a new problem; see the FAQ for how it works.