Email Record: Annals of mathematic logic /