THE BAER-SPECKER GROUP Eoin Coleman1 The Baer-Speker group, P, is the group of funtions from the natural numbers N into the integers Z. While P is very easy to dene, it is the soure of a wealth of problems, some of whih have only reently been solved. The aim of this paper is to present an introdutory aount of old and new results about P, and to explore some of the onnetions of this group with other areas of mathematis, in partiular with the real numbers, innitary logi, and ombinatorial set theory. Introdution The Baer-Speker group P is an innite abelian group under the addition (f + g)(n) = f (n) + g(n) for n 2 N. P ontains the subgroup S, the diret sum of ountably many opies of Z. In the literature, P is also denoted ZN , or Z! . Sine all the groups onsidered in this paper are abelian, it will save spae to adopt the onvention that the term group is short for abelian group. The textbooks [20℄ and [22℄ are good referenes for innite abelian group theory. We use the symbols !, !1 , and 2! to denote the ardinal numbers of the natural numbers N, the rst unountable ardinal, and the ardinal number of the real numbers R, respetively. For example, P has ardinality 2! , and S has ardinality !. 1 I am very grateful to the organizers of the Irish Mathematial Soiety Conferene in September 1997 for the opportunity to read a shorter version of this paper to the partiipants. 9 10 IMS Bulletin 40, 1998 There are four setions in the paper. The rst resumes some basi material on P; the seond looks at a reently disovered onnetion relating slender subgroups of P to ertain ardinal invariants of the real numbers. In the third setion, some logial aspets of P are explored. The nal setion is about the omplexity of the lattie of subgroups of P. Sine the material overed in the paper is diverse and sattered aross dierent domains, I have not given many proofs, hoping that the bibliography will enable the reader to follow themes in more depth. 1. Basis The struture of innite free groups is relatively lear (see, for example, [22℄): for eah innite ardinal , there is exatly one free group of ardinality on generators (up to isomorphism). So an obvious initial question in the study of P is to determine how it stands in relation to freeness: is P free? Denition A group G is free if G is (isomorphi to) a diret sum of opies of Z. For example, P has a free subgroup S. Theorem 1.1 (Baer [1℄) The group P is not free. We shall dedue this theorem from a stronger assertion below involving the notion of {freeness. Denition Suppose that is an innite ardinal. A group G is {free if every subgroup H G having less than elements is free. Every free group is {free for every ardinal , sine subgroups of free groups are free; if < , then {freeness implies { freeness. Questions about whether {freeness implies {freeness for < are highly non-trivial and have stimulated one of the most important researh orientations in innite abelian group theory, leading for example to Shelah's singular ompatness theorem [7, 25, 20℄ and independene results in set theory [30℄. Sine in general {freeness is weaker than freeness, we an rene the initial question about the non-freeness of P and ask whether there are any ardinals for whih P is {free. Reall that !2 is the seond unountable ardinal, the ardinal suessor of !1 . The Baer-Speker Group 11 Proposition 1.2 The group P is not !2 {free. We need to nd a non-free subgroup of P whih has ardinality !1 . Let p be a xed prime number, and take a pure subgroup H of ardinality !1 ontaining S and suh that every element (n1 ; n2 ; : : :) of H has the property that the tail is divisible by arbitrarily high powers of p: (8m)(9r)(8k > r)(pm jnk ).2 Then the quotient group H=pH is a vetor spae over Fp , the nite eld of p elements. It follows that H is not free, for if H were free, then H=pH must have dimension (and hene ardinality) !1 ; but every oset of H=pH ontains an element of S, and hene H=pH has ardinality at most jSj = ! {a ontradition. So H is not free. We an use Proposition 1.2 to improve exerise 19.7 of [22℄: Proof: Corollary For every unountable ardinal , there exists a nonfree !1 {free group of ardinality . Proof: For example, the group < H , the diret sum of opies of the group H in the proof of Proposition 1.2, will work. Proposition 1.2 implies Baer's theorem, sine H is a nonfree subgroup of P. However, it leaves open the question whether ountable subgroups of P are free, i.e. whether P is !1 {free. Theorem 1.3 (Speker [42℄) The group P is !1 {free. Proof: This is a well-known result and a full proof is given in the standard referene textbooks [20, 22℄. It rests on Pontryagin's Criterion: a ountable group is free if and only if every nite rank subgroup is free. We shall give a proof of this riterion using logi in setion three. The proof of Theorem 1.3 proeeds as follows: every nite rank subgroup of P is embedded in a nitely generated torsion-free diret summand of P, and hene is free; so if G P is ountable, then every nite rank subgroup of G is free; now apply Pontryagin's Criterion. To lose this setion, let us introdue another type of \loal" freeness whih has been intensively studied: a group G is almost free if G is jGj{free (jGj is the number of elements of G), i.e. every Or: let H be an elementary submodel of the p-adi losure of S in P of ardinality !1 ontaining S. H exists by the Downward LoewenheimSkolem Theorem of rst-order logi. 2 12 IMS Bulletin 40, 1998 subgroup of G of smaller ardinality than G is free. Is P almost free? Corollary 1.4 P is almost free if and only if the Continuum Hypothesis (CH: 2! = !1 ) holds. If the Continuum Hypothesis is true, then P is almost free if P is !1 {free, whih is true by Theorem 1.3; if the Continuum Hypothesis is false, then the subgroup H in Proposition 1.2 is a non-free subgroup of ardinality !1 < 2! = jPj and so P is not almost free. Thus one annot deide whether P is almost free or not on the basis of ordinary set theory (ZFC). One trend in the study of {freeness has been to try to nd equivalenes between the algebrai and set-theoreti denitions. In light of Corollary 1.4, it might be interesting to know whether there are algebrai properties ' and suh that: (1) P has almost ' i the weak Continuum Hypothesis (wCH: 2! < 2!1 ) holds; (2) P has almost i Diamond holds. Diamond is a stronger form of the Continuum Hypothesis CH. One way to state CH is as a list of guesses A for the subsets of N: (9fA : < !1 g suh that (8X N)(f : X = A g is a stationary subset of !1 )): A stationary subset of !1 is large: it intersets every losed unbounded subset of !1 (in the order topology) non-trivially. In other words, the Continuum Hypothesis says that there is a list of length !1 whih predits orretly every subset of natural numbers a large number of times. What about subsets of !1 ? One annot hope for a list of length !1 whih would predit orretly every subset of !1 , sine there are 2!1 subsets of !1 and 2!1 > !1 . But perhaps one might be able to predit orretly just the initial segments of subsets of !1 . Diamond asserts that there is a list of !1 guesses A for the initial segments of subsets of !1 and these guesses are orret on a large subset of !1 . Formally, Diamond The Baer-Speker Group 13 states: (9fA : < !1 g suh that (8X !1 )(f : X \ = A g is a stationary subset of !1)): A more detailed explanation of this type of predition priniple an be found in the standard textbooks on set theory [26℄ and [29℄. 2. P and the real numbers R We start this setion by looking at some ardinal invariants of the real numbers R. Reent researh has unovered rather surprising onnetions between these invariants and the size of ertain subgroups of P. Denition (1) The additivity of measure, add(L), is the smallest number of measure-zero subsets of R whose union is not of measure zero. (2) The additivity of ategory, add(B), is the smallest number of rst ategory subsets of R whose union is of seond ategory (not of rst ategory). (3) The ardinal d, the dominating number, is dened as: minfjDj : D is a subset of NN and (8g 2 NN )(9f 2 D)(g(n) f (n) for all but nitely many n)g: (4) The ardinal b, the bounding number, is dened as: minfjB j : B is a subset of NN and (8g 2 NN )(9f 2 B )(g(n) < f (n) for all but nitely many n)g: The ountable additivity of Lebesgue measure and the Baire ategory theorem imply that add(L) and add(B) are both at least !1 . And they are also at most 2! . It is immediate too that !1 b d 2! . 14 IMS Bulletin 40, 1998 The reason why the dominating and bounding numbers are alled invariants of the reals is that the irrationals are homeomorphi to the topologial spae NN when NN is given the produt topology and N has the disrete topology. We shall need one other invariant whih is alled the pseudointersetion number. A family F of subsets of N has the strong nite intersetion property (SFIP) if the intersetion of every nite subfamily is an innite set. For example, the family of onite subsets of N has the SFIP. A set A is almost ontained in a set B if A n B is nite. Denition The ardinal p is minfjF j : F is a family of subsets of N suh that F has the SFIP but there is no innite set whih is almost ontained in every member of F g: It is an instrutive exerise to show that !1 p 2! . These ardinals are related as in the following piture, part of the Cihon diagram (exept for the ardinal p). An arrow relation ! means : 2! 6 d 6 b 6 Miller [32℄ add(L) 6 !1 - add(B) 6 Martin and Bartoszynski [2℄, Raisonnier and Stern [36℄ - Solovay [31℄ p The Baer-Speker Group 15 Some of the earliest results on the ardinal invariants of the reals are due to Rothberger [37℄. The disovery of Martin's Axiom in 1970 stimulated renewed interest in these and other invariants. A fuller aount of the area whih has been studied in great depth by mathematiians sine the 1970's is available in the artiles by van Douwen [13℄ and Vaughan [44℄. More reent work has revealed links between ardinal invariants and quadrati forms: several of these invariants determine how large orthogonal omplements there are in a quadrati spae. This researh (on Gross and strongly Gross spaes) is surveyed in the paper [43℄. The bounding number b also appears in reent work (in funtional analysis) on metrizable barrelled spaes [38℄. To explain the onnetion of ardinal invariants with the BaerSpeker group P, we shall introdue one further denition. Denition (Los). A group G is slender if whenever is a homomorphism from P into G, then (en ) = 0 for all but nitely many n, where en is the element of P that has 1 at the n{th o-ordinate and 0 everywhere else. There are several important equivalent haraterizations of slender groups whih we insert here for the sake of ompleteness and as an aid to intuition. Theorem 2.1 (Nunke [33℄, Heinlein [24℄, Eda (1982, see [20℄)) The group G is slender if and only if G does not ontain a opy of the rationals Q, the yli group of order p Z(p), the p-adi integers Jp , or P; equivalently, every homomorphism from P into G is ontinuous, where G and Z are given the disrete topology and P the produt topology; equivalently, for any family fGi : i 2 I g and homomorphism from i2I Gi to G, there are !1 -omplete ultralters D1,: : : , Dn on I suh that (8g 2 i2I Gi )(if the support of g; fi 2 I : g(i) 6= 0g; does not belong to Dk (1 k n); then (g) = 0): Corollary 2.2 Every !1 {free group whih does not ontain P is slender. 16 IMS Bulletin 40, 1998 Examples The group Z is slender; every free group is slender. P is not slender (Speker [42℄). Subgroups and diret sums of slender groups are slender. Speker's proof that P is not slender works for many other subgroups of P whih exhibit the Speker phenomenon. But these subgroups all have ardinality 2! . Denition (Eda [15℄, Blass [8℄) (1) A subgroup G of P exhibits the Speker phenomenon i G ontains a sequene fgn : n 2 Ng of linearly independent elements suh that whenever is a homomorphism from G into Z, then (gn ) = 0 for all but nitely many n. (2) The Speker-Eda number, se, is dened as: minfjGj : G P exhibits the Speker phenomenong: Corollary 2.3 !1 se 2! . Theorem 2.4 (Eda [15℄.) (1) CH implies se = !1 . (2) Martin's Axiom (MA) implies se = 2! . (3) There is a model of ordinary set theory (ZFC) in whih se < 2! . In 1994, Andreas Blass observed that Eda's proofs establish onnetions between the Speker-Eda number and some of the ardinal invariants of the real numbers whih were dened at the beginning of this setion. Theorem 2.5 (Eda [15℄, Blass [8℄) (1) p se d. (2) add(L) se b. Conjeture 2.6 (Blass [8℄) se = add(B). 3. P and innitary logi From the logial point of view, a group G is a struture G = (G; +G ; G ; 0G ) whih satises the axioms for a group. In this setion we use L to denote the voabulary of groups, that is, L ontains the onstant, unary, and binary funtion symbols 0, , and + to name the zero, inverse, and addition of a group. There are other possible hoies for the voabulary of groups, but for the The Baer-Speker Group 17 sake of deniteness we shall x L as above. It is also a fat that all the theorems of logi presented here are true in muh greater generality. The innitary language L1 is the smallest lass of formulas in the voabulary L whih is losed under negations, onjuntions of arbitrary length, and strings of quantiers (9x1 9x2 : : : 9x : : :)(<) of length less than . This innitary language is more expressive than the rst-order language of groups where one is limited to negations, nite onjuntions, and nite strings of quantiers. While the axioms for a group are rst-order, many of the interesting group-theoreti properties annot be expressed by rst-order sentenes. For example, the following sentene of L1! says that a group is torsion: (8g)(g = 0 or 2g = 0 or 3g = 0 or : : : or ng = 0 : : :): But the onept of torsion annot be axiomatized in a rst-order language. Innitary logi an express the onepts of {freeness, {purity, < {generatedness and so on. The paper by Barwise [3℄ is an exellent introdution to the bak and forth methods harateristi of innitary logi. Other useful referenes for innitary logis are the book by Barwise [4℄ and the artile by Dikmann [12℄. A typial problem in general innitary model theory involves determining whether there are innitarily equivalent nonisomorphi models in various ardinalities, [40℄. Denition Two groups A and B are L1 {equivalent if and only if for every sentene ' in L1 : ' is true in A i ' is true in B . So L1 {equivalent groups annot be distinguished by a sentene in the innitary language L1 . There is an algebrai haraterization of innitary equivalene whih is very useful and perhaps more familiar. Theorem 3.1 (Karp [27℄, Benda [6℄, Calais [9℄) Two groups A and B are L1 {equivalent if and only if there is a {extendible system of partial isomorphisms from A to B . 18 IMS Bulletin 40, 1998 A {extendible system of partial isomorphisms from A to B is a family F of isomorphisms between subgroups of A and B whih has the {bak-and-forth property: if 2 F is an isomorphism from M1 A onto N1 B and X (respetively Y ) is a subset of A (respetively B ) of ardinality less than , then there exists 2 F from M2 onto N2 suh that M1 M2 A, N1 N2 B , extends and X (Y ) is a subset of M2 (N2 ). Using this algebrai onept, it is easy to hek for example that any two unountable free groups are L1! {equivalent. { extendible systems are a natural generalization of Cantor's tehnique for showing that there is (up to isomorphism) exatly one unbounded dense ountable linear order, namely the linearly ordered set of the rational numbers [3℄. Indeed, for ountable groups, innitary equivalene and isomorphism are synonymous: Theorem 3.2 (Sott [39℄) If A and B are ountable L1! { equivalent groups, then A and B are isomorphi. The innitary model theory of abelian groups was intensively studied in the 1970's by Barwise, Eklof, Fisher, Gregory, Kueker, and Mekler (see [5, 16, 17, 23, 28℄ for example). One of the rst important results is due to Eklof, who sueeded in determining whih groups are innitarily equivalent to free groups. Denition A subgroup A of G is {pure if for every subgroup B suh that A B G and B=A is < {generated (i.e. generated by fewer than elements), A is a diret summand of B . Theorem 3.3 (Eklof [16℄) A group G is L1 {equivalent to a free group if and only if every < {generated subgroup of G is ontained in a free, {pure subgroup of G. For the purposes of this exposition, it is suÆient to know the following orollaries. Corollary 3.4 A group G is L1! {equivalent to a free group i every subgroup of G of nite rank is free. Eklof used this result to dedue a very famous riterion for freeness in ountable groups: Corollary 3.5 (Pontryagin's Criterion [35℄) A ountable group is free i every subgroup of nite rank is free. The Baer-Speker Group Apply Sott's Theorem 3.2 to Corollary 3.4. Corollary 3.6 (Kueker) A group is L1! {equivalent 19 Proof: group i it is !1 {free. to a free Now we an return to the Baer-Speker group P and see what these fats tell us. Corollary 3.7 (Keisler-Kueker) The Baer-Speker group P is L1! {equivalent to a free group. The lass of free groups is not denable in L1! . Corollary 3.8 (Eklof [16℄) The group P is not L1!1 {equivalent to a free group. Sine free groups are slender, it follows too from Corollary 3.7 that the lass of slender groups is not denable in L1! . It might be tempting to onjeture that P is not L1!1 {equivalent to a slender group. Another possible suggestion is that P is not L1se {equivalent to a slender group. Mekler showed that if is a strongly ompat ardinal, then the lass of free groups is denable in L1 . This prompts the question whether the lass of slender groups is denable in L1 if is strongly ompat. Eklof and Mekler have developed appliations of other generalized logis to problems of abelian group theory in the papers [18℄ and [19℄. 4. The lattie of subgroups of P The broad thrust in this setion is to desribe some reent researh on the omplexity of the lattie of subgroups of P. One way to measure this omplexity is to study what sorts of groups an be embedded into P. Very generally, the natural questions often have the form whether there are families of maximal possible size of subgroups of P whih are strongly dierent (non-isomorphi) in some preisely dened sense. An example of this type of theorem in the ontext of general abelian groups is the following. Theorem 4.1 (Eklof, Mekler and Shelah [21℄) Under various set- theoreti hypotheses, there exist families of maximal possible size of almost free abelian groups whih are pairwise almost disjoint (the intersetion of any pair ontains no non-free subgroup). 20 IMS Bulletin 40, 1998 There is an inverse orrelation between the size of the family and the strong dierene of its members. If one onsiders families of pure subgroups of P and takes the notion of strong dierene to mean that the only homomorphisms between any pair are those of nite rank, then it is possible to prove the existene of a strongly dierent family of maximal size. Theorem 4.2 (Corner and Goldsmith [10℄) Let D be the subgroup of P ontaining S suh that D=S is the divisible part of P=S. Let = 2! . There exists a family C onsisting of 2 pure subgroups G of D with D=G rank{1 divisible where eah G is slender, essentially-indeomposable, essentially-rigid with End(G) = Z + E0 (G), where E0 (G) is the ideal of all endomorphisms of G whose images have nite rank. A similar type of question is the following: does there exist a family of 2!1 non-isomorphi pure subgroups of P, eah of ardinality !1 , suh that the intersetion of any pair is free? The answer is positive. Theorem 4.3 (Shelah and Kolman [41℄) There exists a family fG : < 2!1 g of pure subgroups of P suh that (1) eah G has ardinality !1 ; (2) if 6= , then G \ G is free. The question whether ertain lasses of group an be embedded in P sometimes leads to independene results. Reall that a group G is !1 {separable if every ountable subset of G is ontained in a free diret summand of G. Theorem 4.4 (Dugas and Irwin [14℄) Embeddability of !1 { separable groups of ardinality !1 in P is independent of ZFC. Reexive subgroups of P have also been studied in some depth. The following result was known for many years under the additional assumption of the Continuum Hypothesis. Theorem 4.5 (Ohta [34℄) There exists a non-reexive dual subgroup of P. The variety displayed in this seletion of results on the BaerSpeker group P illustrates how this easily denable abelian group is a soure of interesting researh problems whose solutions often The Baer-Speker Group 21 reveal unexpeted onnetions with problems in other domains of mathematis. Referenes [1℄ R. Baer, Abelian groups without elements of nite order, Duke Math. J. 3 (1937), 68-122. [2℄ T. Bartoszynski, Additivity of measure implies additivity of ategory, Trans. Amer. Math. So. 281 (1984), 209-213. [3℄ J. Barwise, Bak and forth through innitary logi, pp.5-33 in : M. Morley (ed.), Studies in Model Theory, 1975. [4℄ J. Barwise, Admissible Sets and Strutures. Springer-Verlag: Berlin, 1975. [5℄ J. Barwise and P. C. Eklof, Innitary properties of abelian torsion groups, Ann. Math. Logi 2 (1970), 25-68. [6℄ M. Benda, Redued produts and non-standard logis, J. Sym. Logi 34 (1969), 424-436. [7℄ S. Ben-David, On Shelah's ompatness of ardinals, Israel J. Math. 31 (1978), 34-56. [8℄ A. Blass, Cardinal harateristis and the produt of ountably many innite yli groups, J. Algebra 169 (1994), 512-540. [9℄ J. P. Calais, La methode de Frasse dans les langages innis, C. R. Aad. Si. Paris 268 (1969), 785-788. [10℄ A. L. S. Corner and B. Goldsmith, On endomorphisms and automorphisms of some pure subgroups of the Baer-Speker group, pp.69-78 in : R. Goebel et al. (eds.), Abelian group theory and related topis, Contemp. Math. 171 (1994). [11℄ K. J. Devlin, Construtibility. Springer-Verlag: Berlin, 1984. [12℄ M. Dikmann, Larger innitary languages, Chapter IX in : J. Barwise and S. Feferman (eds.), Model-theoreti Logis. Springer-Verlag: Berlin, 1985. [13℄ E. van Douwen, The integers and topology, pp.111-167 in : K. Kunen and J. E. Vaughan (eds.), Handbook of Set-theoreti Topology. NorthHolland: Amsterdam, 1984. [14℄ M. Dugas and J. Irwin, On pure subgroups of artesian produts of integers, Results in Math. 15 (1989), 35-52. 22 IMS Bulletin 40, 1998 [15℄ K. Eda, A note on subgroups of ZN , pp.371-374 in : R.Goebel et al. (eds.), Abelian Group Theory. Leture Notes in Mathematis 1006. Springer-Verlag: Berlin, 1983. [16℄ P. C. Eklof, Innitary equivalene of abelian groups, Fund. Math. 81 (1974), 305-314. [17℄ P. C. Eklof and E. R. Fisher, The elementary theory of abelian groups, Ann. Math. Logi 4 (1972), 115-171. [18℄ P. C. Eklof and A. H. Mekler, Innitary stationary logi and abelian groups, Fund. Math. 112 (1981), 1-15. [19℄ P. C. Eklof and A. H. Mekler, Categoriity results for L1 {free algebras, Ann. Pure and Appl. Logi 37 (1988), 81-99. [20℄ P. C. Eklof and A. H. Mekler, Almost Free Modules. North-Holland: Amsterdam, 1990. [21℄ P. C. Eklof, A. H. Mekler and S. Shelah, Almost disjoint abelian groups, Israel J. Math. 49 (1984), 34-54. [22℄ L. Fuhs, Innite Abelian Groups, Vol. I. Aademi Press: New York, 1970. [23℄ J. Gregory, Abelian groups innitarily equivalent to free groups, Noties Amer. Math. So 20 (1973), A-500. [24℄ G. Heinlein, Vollreexive Ringe und shlanke Moduln, dotoral dissertation, Univ. Erlangen, 1971. [25℄ W. Hodges, In singular ardinality, loally free algebras are free, Algebra Universalis 12 (1981), 205-259. [26℄ T. Jeh, Set Theory. Aademi Press: New York, 1978. [27℄ C. Karp, Finite quantier equivalene, pp.407-412 in : J. Addison et al. (eds.), The Theory of Models. North-Holland: Amsterdam, 1965. [28℄ D. W. Kueker, L1!1 {elementarily equivalent models of power !1 , pp. 120-131 in : Logi Year 1979-80, Leture Notes in Mathematis 859. Springer-Verlag: Berlin, 1981. [29℄ K. Kunen, Set Theory. North-Holland: Amsterdam, 1980. [30℄ M. Magidor and S. Shelah, When does almost free imply free?, J. Amer. Math. So. 7 (1994), 769-830. [31℄ D. A. Martin and R. M. Solovay, Internal Cohen extensions, Ann. Math. Logi 2 (1970), 143-178. [32℄ A. W. Miller, Additivity of measure implies dominating reals, Pro. Amer. Math. So. 91 (1984), 111-117. The Baer-Speker Group 23 [33℄ R. Nunke, Slender groups, Ata Si. Math. (Szeged) 23 (1962), 67-73. [34℄ H. Ohta, Chains of strongly non-reexive dual groups of integer-valued ontinuous funtions, Pro. Amer. Math. So. 124 (1996), 961-967. [35℄ L. S. Pontryagin, The theory of topologial ommutative groups, Ann. Math. 35 (1934), 361-388. [36℄ J. Raisonnier and J. Stern, The strength of measurability hypotheses, Israel J. Math. 50 (1985), 337-349. [37℄ F. Rothberger, Eine Aequivalenz zwishen der Kontinuumhypothese und der Existenz der Lusinshen und Sierpinskishen Mengen, Fund. Math. 30 (1938), 215-217. [38℄ S. A. Saxon and L. M. Sanhez-Ruiz, Barrelled ountable enlargements and the bounding ardinal, J. London Math. So. 53 (1996), 158-166. [39℄ D. Sott, Logi with denumerably long formulas and nite strings of quantiers, pp.329-341 in : J. Addison et al. (eds.), The Theory of Models. North-Holland: Amsterdam, 1965. [40℄ S. Shelah, Existene of many L1 {equivalent, non-isomorphi models of T of power , Ann. Pure and Appl. Logi 34 (1987), 291-310. [41℄ S. Shelah and O. Kolman, Almost disjoint pure subgroups of the BaerSpeker group, submitted. [42℄ E. Speker, Additive Gruppen von Folgen ganzer Zahlen, Portugaliae Math. 9 (1950), 131-140. [43℄ O. Spinas, Cardinal invariants and quadrati forms, pp.563-581 in : H. Judah (ed.), Set Theory of the Reals. Israel Mathematial Conferene Proeedings (Gelbart Researh Institute, Bar-Ilan University), 1993. [44℄ J. E. Vaughan, Small unountable ardinals and topology, pp.195-218 in : J. van Mill and G. M. Reed (eds.), Open Problems in Topology. North-Holland: Amsterdam, 1990. Eoin Coleman, King's College London, Strand, London WC2R 2LS, England email: okolmanmember.ams.org