Subject: Re: history of lim-1 Date: Wed, 18 Jul 2001 10:52:14 -0500 (CDT) From: Brayton Gray The six term exact sequence involving lim and lim^1 appears first in a paper by Roos entitled "Sur les Foncteurs Derives de lim Application" C.R. 252(1961). The first occurence of lim ^1 for non-Abelian inverse systems is in my thesis (Chicago, 1965). Brayton Gray Math Department UIC _______________________________________________ Subject: Re: history of lim-1 Date: Wed, 18 Jul 2001 20:11:25 +0200 From: Gerd Laures The first printed proof can be found in John Milnor, On the Steenrod homology theory, mimeograhed notes at Berkeley, 1961. This paper was reprinted in Ferry, Steven C.(ed.); Ranicki, Andrew (ed.); Rosenberg, Jonathan (ed.) Novikov conjectures, index theorems and rigidity. Vol. 1. Based on a conference of the Mathematisches Forschungsinstitut Oberwolfach in September 1993. (English) London Mathematical Society Lecture Note Series. 226. Cambridge: Cambridge University Press. x, 372 p. The construction of lim^1 was communicated to Milnor by Steenrod. Gerd Laures