Stav dette: Contributions to mathematical logic: