Email Record: Essays on the foundations of mathematics /