Grothendieck foundations draft on line

With thanks to several people here who contributed ideas, I have put on-line a draft giving two upper bounds on strength of methods in cohomological number theory:  By some careful formulation, the existing applications of Grothendieck methods in number theory (notably the Weil Conjectures and Fermat's Last Theorem) can be founded on a fragment of ZFC with the strength of simple type theory. The whole apparatus of the SGA essentially verbatim can be founded on a fragment weaker than the theory of V-sub-omega-times-3. The draft is at www.cwru.edu/artsci/phil/Groth found.pdf Thanks again to all who helped, and to all who will comment. best, Colin [For admin and other information see: http://www.mta.ca/~cat-dist/ ]