Email Record: Archive for mathematical logic.