Email Record: Models of Peano arithmetic /