[FOM] Model theory and foundations IV

[Robert M. Solovay]

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.