Email Record: Model theory and arithmetic :