ARCHIVE FOR MATHEMATICAL LOGIC