Archive for mathematical logic