[FOM] Model theory and foundations IV

Stephen G Simpson simpson at math.psu.edu
Thu Jul 17 20:24:33 EDT 2003

Robert M. Solovay writes:

 > I don't think the two Boirel's are related. Armand is Swiss; Emile
 > was French.

I stand corrected.

 > Of course, Henri Cartan *is* the son of Elie Cartan.

Perhaps this is what put the idea into my head.

-- Steve

More information about the FOM mailing list