1: \begin{abstract}

2: We give explicit examples of pairs of one-ended, open $4$-manifolds whose

3: end-sums yield uncountably many manifolds with distinct

4: proper homotopy types. This answers strongly in the affirmative a conjecture

5: of Siebenmann regarding the nonuniqueness of end-sums. In

6: addition to the construction of these examples, we provide a detailed

7: discussion of the tools used to distinguish them; most importantly, the end-cohomology algebra.

8: Key to our Main Theorem is an understanding of

9: this algebra for an end-sum in terms of the

10: algebras of the summands together with ray-fundamental classes

11: determined by the rays used to perform the end-sum.

12: Differing ray-fundamental classes allow us to

13: distinguish the various examples, but only through the subtle theory of

14: infinitely generated abelian groups. An appendix is included which contains

15: the necessary background from that area.

16: \end{abstract}

17: