[FOM] Model theory and foundations IV

Robert M. Solovay solovay at math.berkeley.edu
Thu Jul 17 19:50:35 EDT 2003

On Thu, 17 Jul 2003, Stephen G Simpson wrote:

> ---
> 3. Foundations of algebraic groups?
>  Baldwin repeats a claim made in the glorious early months of the FOM
>  list, that model theory applied to algebra is "foundational" in a way
>  that puts traditional f.o.m. to shame.  Why?  He gives three
>  examples: (a) Chow's Theorem characterizing analytic manifolds in
>  complex projective n-space, (b) the Hrushovski-Weil characterization
>  of algebraic groups over an algebraically closed field, and (c) a new
>  proof of a theorem of Borel and Tits.  (This is Armand Borel, the
>  algebraist, not his father, Emile Borel, the set theorist.)

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

	--Bob Solovay

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

More information about the FOM mailing list