Stav dette: Annals of mathematical logic.