Archive for mathematical logic (Springer, 1988)