Skeletons from the Cupboard: Unsolved Problems on Σ₁ sentences
V.Yu. Shavrukov

We discuss several open problems concerning provability and model-theoretical properties of Peano Σ₁ sentences. Dramatis personae include consistency statements, Δ₀-definable numbers, and the E-tree.