Email Record: Mathematical logic and model theory :