On Crawley Modules This work is supported by the pro ject No. I-706-54.6/2001 of the German-Israeli Foundation for Scientific Research & Development The authors would also like to thank the Edmund Landau Center for partial support of this research Shelah's list of publications GbSh 833. AMS-sub ject classification 20K40, 03E50, 13C10.

Rüdiger Göbel FB 6, Mathematik, Universität Duisburg Essen, 45117 Essen, Germany e-mail: R.Goebel@Uni-Essen.De and Saharon Shelah Institute of Mathematics, Hebrew University, Jerusalem, Israel and Rutgers University, New Brunswick, NJ, U.S.A e-mail: shelah@math.huji.ac.il

Abstract
This continues recent work in a paper by Corner, Göbel and Goldsmith [2] .
A particular question was left open: Is it possible to carry over the results concerning the undecidability of torsion–free Crawley groups to modules over the ring of p   -adic integers? We will confirm this and also strengthen one of the results in [2] by replacing the hypothesis of ◊   by C H   . For details see the introduction.

1 Introduction

This note is an extension of the recent work in [2] . Let R   be a principal ideal domain with quotient field Q   . In this paper we will consider torsion–free R   –modules.
Crawley p   -groups were investigated intensively in the last two decades of the last century. Megibben [9] showed that parallel to Whitehead groups, the existence of `proper' Crawley groups (those which are not direct sums of cyclics) is undecidable.
Further fundamental results for Crawley p   -groups were derived in two adjoint papers by Mekler, Shelah [10, 11] . Parallel to the case of abelian Crawley p   –groups we can define Crawley modules in the torsion–free case as outlined in [2] .
Definition 1.1 An R   -module G   is a Crawley module if for any pair M , N   of pure and dense submodules of corank 1   there is an automorphism Θ ∈ A u t R G   with M Θ = N   .
The hypothesis on M   is equivalent to say that G / M ∼ = Q   .
An old theorem of Jeno Erdös (see the early edition of Fuchs [5] and [2] ) can be reformulated to give a first result on torsion–free Crawley modules.
Theorem 1.2 Free R   -modules are Crawley modules.
Moreover, the problem whether ℵ 1   -free Crawley groups ( R = Z   ) are free is undecidable.
This follows from the main results of [2] :
Theorem 1.3 Let R   be a principal ideal domain and κ   a regular cardinal > | R |   .
  • (i) (Assume ◊ κ ( E )   for all stationary sets E ⊆ κ   .) Any κ   –free R   –Crawley module of cardinality κ   is free.
  • (ii) (Assume ZFC + MA.) If | R | < 2 ℵ 0   , then any ℵ 1   -separable, ℵ 1   -coseparable R   -module of rank ℵ 1   is a Crawley module. Thus there are non-free Crawley R   -modules of rank ℵ 1   if R   is not a field and ℵ 1 < 2 ℵ 0   .
We just note, that any strongly ℵ 1   -free R   -module of cardinality ℵ 1   satisfies the hypothesis in Theorem  1.3  ( i i )   , thus is a Crawley module. The existence of non-free but strongly ℵ 1   -free R   -modules of cardinality ℵ 1   under (ZFC + MA + ℵ 1 < 2 ℵ 0   ) is well known, see [4] or directly Shelah [12] . We want to replace ◊ κ ( E )   for κ = ℵ 1   in Theorem  1.3 by 2 ℵ 0 < 2 ℵ 1   and add | R | ≤ 2 ℵ 0   in ( i )   and in ( i i )   , respectively; see the results in the appropriate sections. The idea of the proof of the second assertion may also be useful for other applications. In particular we will derive the following new
Corollary 1.4 Let R = J p   be the ring of p   -adic integers.
  • (i) If 2 ℵ 0 < 2 ℵ 1   , then any reduced, torsion-free Crawley R   -module of rank at most ℵ 1   is free.
  • (ii) (ZFC + MA + ℵ 1 < 2 ℵ 0   ) There are non-free, torsion-free, reduced Crawley R   -modules of rank ℵ 1   .

2 The Construction using the Weak Diamond.

The notion of the weak diamond principle ( Φ )   which is equivalent to 2 ℵ 0 < 2 ℵ 1   (a weak form of the special continuum hypothesis) comes from [3] ; it is stated in Eklof, Mekler [4,pp.147–152] .
Φ λ ( S ) :   Let S   be a stationary subset of an uncountable, regular cardinal λ   (thus c f λ = λ   ) and let D = { f ∈ α 2 : α < λ }   (where 2 = { 0 , 1 }   ). Then S   has the weak diamond property Φ λ ( S )   if the following holds.
For any (coloring) function c : D ⟶ 2 = { 0 , 1 }   , there is a weak diamond function η ∈ λ 2   (for c   ) such that for all f : λ ⟶ 2   the set { δ ∈ S : ( f ↾ δ ) c = δ η }   is stationary in λ   .
Here we will use a stronger version which still is equivalent to the weak diamond property.
Lemma 2.1 Let S   be a stationary subset of an uncountable, regular cardinal λ   .
Then S   has the weak diamond property Φ λ ( S )   if and only if the following holds for the cardinal μ = : 2 < λ   and the set D = { f ∈ α μ : α < λ }   .
If c : D ⟶ 2   is a coloring of D   , then for every function f : λ ⟶ μ   there is a weak diamond sequence η ∈ λ 2   (depending on c   ) such that { δ ∈ S : ( f ↾ δ ) c = δ η }   is stationary in λ   .
Proof. This is a special case of Shelah [13,Appendix,Theorem1.10,seeSection3] .
We have a particular case for λ = ℵ 1   .
If S   is a stationary subset of ℵ 1   , μ = : 2 ℵ 0 < 2 ℵ 1   and c : { f ∈ α μ : α < ω 1 } ⟶ 2   , then there is η : ω 1 ⟶ 2   such that for all f : ω 1 ⟶ μ   the set { δ ∈ S : ( f ↾ δ ) c = δ η } ⊆ ω 1   is stationary.
We derive from Φ λ ( S )   a lemma which can be applied immediately for Crawley modules.
Lemma 2.2 Let S   be a stationary subset of a regular, uncountable cardinal λ   such that Φ λ ( S )   holds. Suppose that A   is a set of cardinality | A | = 2 < λ   and for any η ∈ λ 2   there are a cub C η   of λ   and a function Θ η : λ ⟶ A   , then we can find α ∈ λ   and η 0 , η 1 ∈ λ 2 ( i = 0 , 1 )   such that the following holds.
  • (i) η 0 ↾ α = η 1 ↾ α  
  • (ii) α η 0 = 0   and α η 1 = 1  
  • (iii) Θ η 0 ↾ α = Θ η 1 ↾ α  
  • (iv) α ∈ C η 0  
Proof. Let μ = 2 < λ   and choose a one to one (coding) function g : A × { 0 , 1 } ⟶ μ   . This is used to define for each η ∈ λ 2   a function f η : λ ⟶ μ   by ( i Θ η , i η ) g = i f η for every i ∈ λ .   In order to apply Φ λ ( S )   we also define a coloring c : D ⟶ 2   , where D = { f : α ⟶ μ , α ∈ λ }   .
If f : α ⟶ μ   is in D   , then define
f c = { 1 if there is η ∈ λ 2 such that f η ↾ α = f , α ∈ C η and α η = 0 0 otherwise. (2.1)
If η   is as in the first line of ( 2.1 ) we call η   a witness for f   . Now let η ∈ λ 2   be a weak diamond function for c   given by Φ λ ( S )   . Hence S 1 = { δ ∈ S : ( f η ↾ δ ) c = δ η }   is a stationary subset of λ   and since C η   is a cub, also S 2 = S 1 ∩ C η   is stationary in λ   .
Hence clearly S 2 ≠ ∅   and there is some δ ∈ S 2   .
We first claim that
If δ ∈ S 2 and η is a weak diamond function, then δ η = 1 . (2.2)
From δ ∈ S 2   follows ( f η ↾ δ ) c = δ η   and δ ∈ C η   , moreover f η   extends f η ↾ δ   . If also δ η = 0   , then ( f η ↾ δ ) c = 0   by the last observation but also ( f η ↾ δ ) c = 1   by ( 2.1 ), which is a contradiction and necessarily δ η = 1   .
We now choose η 1 = η   for such a δ   and by the last claim follows δ η = 1   . Now the first line of ( 2.1 ) gives us a witness η 0   for f η 1 ↾ δ   . By the first line of ( 2.1 ) follows δ η 0 = 0   and δ ∈ C η 0   . Hence ( i i )   and ( i v )   are shown.
Then f η 0 ↾ δ = f η 1 ↾ δ   , hence ( i Θ η 0 , i η 0 ) g = ( i Θ η 1 , i η 1 ) g   for all i < δ   . We apply g − 1   to get Θ η 0 ↾ δ = Θ η 1 ↾ δ   and η 0 ↾ δ = η 1 ↾ δ   . Thus (i) and (iii) follow as well.
We now return to Crawley modules. If κ   is a regular cardinal, then any κ   -free R   -module of rank κ   has a well defined Γ   -invariant which is an equivalence class of a subset E   of κ   (i.e. E ≡ E ′ ⟺ E ∩ C = E ′ ∩ C   for some cub C   in κ   ), see Eklof, Mekler [4,p.86] .
Here we want to show the following
Theorem 2.3 Let R   be a principal ideal domain and let G   be an ℵ 1   -free R   -module of rank ℵ 1   with Γ   -invariant Γ ( E )   coming from a stationary set E ⊆ ℵ 1   . If the weak diamond holds for E   , then G   is not a Crawley module.
Thus, assuming 2 ℵ 0 < 2 ℵ 1   , an ℵ 1   -free R   -module of rank ℵ 1   is Crawley if and only if it is free.
Proof. Let G = ∪ α ∈ ℵ 1 G α   be an ℵ 1   -filtration of G   with G α   pure in G   of countable rank for each α ∈ ω 1   . Then E = { α ∈ ω 1 , G / G α is not ℵ 1 − free } .   If E   is not stationary, then G   is free and the claim follows from Erdös's Theorem  1.2 . We may assume for contradiction that E   is stationary and a set of limit ordinals without restrictions. If α ∈ E   , then G α + 1 / G α   is countable and not free. By Stein's theorem (see Fuchs [6] ) we can decompose G α + 1 / G α   into a direct sum of a free module and a complement different from 0   with trivial dual (having no proper homomorphisms into R   ). We can absorb the free summand into the next G α + 2   and thus assume thatit is 0   . Hence G α + 1 / G α ≠ 0   and ( G α + 1 / G α ) * = 0   ( G α + 1 / G α   is not free of minimal rank n α ≤ ω   ). There is a free R   -module X ′ ⊆ G α + 1 / G α   such that X * ′ = G α + 1 / G α   . Its preimage X ⊆ G α + 1   is of the form
X = ⊕ m < n α R x α m ⊆ G α + 1 with G α + 1 = ( G α ⊕ X ) * and ( G α + 1 / G α ) * = ( X * ′ ) * = 0 . (2.3)
We choose one of these pure and dense maximal submodules M ⊆ G   of corank 1   and create a large family of its relatives:
By definition of M   we can find z ∈ G \ M   such that G = 〈 M , R z 〉 *   . Moreover (changing the filtration) we may assume that z ∈ G 0   . By induction on α ∈ ω 1   we determine for each η ∈ α 2   an epimorphism φ η : G α ⟶ Q   .
If α = 0   , then η = 〈 〉   is the empty map, we send z   to 1 ∈ Q   . We also assume that G 0   has infinite rank and map infinitely many free generators of G 0   onto Q   . By injectivity this map extends further to an epimorphism φ 〈 〉 : G 0 ⟶ Q   . If ν ⊴ η   is an initial segment, then we want φ ν ⊆ φ η   . Suppose that φ η   is constructed for all η ∈ α > 2   We distinguish three cases. If α   is a limit ordinal, and η ∈ α 2   , then let φ η = ∪ β < α φ η ↾ β   . If β ∈ ω 1 \ E   and α = β + 1   , then we assume that η   takes only one value at α   , say α η = 0   .
Now any η ∈ β 2   has a unique extension ν = η ∧ 〈 0 〉 ∈ α 2   . Since G β   is a summand of G α   with free complement, we can extend φ η   arbitrarily to φ ν : G α ⟶ Q   . Finally we assume that β ∈ E   and select the elements x β m ( m ≤ n β )   by the choice of X   in ( 2.3 ). If η ∈ β 2   and φ η : G β ⟶ Q   is given, then we want to choose φ η ∧ 〈 0 〉   and φ η ∧ 〈 1 〉   such that
x β m φ η ∧ 〈 1 〉 − x β m φ η ∧ 〈 0 〉 = 1 for all m ≤ n β . (2.4)
Using ( 2.3 ) write G α = G β ⊕ X   for X = ⊕ m ≤ n β R x β m   and we can extend φ η   to both of φ η ′ , φ η ′ ′ ∈ H o m ( G β ⊕ X , Q )   with x β m φ η ′ = 0   and x β m φ η ′ ′ = 1   for all m ≤ n β   .
These maps can be extended further to φ η ∧ 〈 0 〉 , φ η ∧ 〈 1 〉 ∈ H o m ( G α , Q )   by injectivity. We have x β m φ η ∧ 〈 0 〉 = 0   and x β m φ η ∧ 〈 1 〉 = 1   for all m ≤ n β   and in particular ( 2.4 ) holds.
This finishes the inductive construction. If η ∈ ω 1 2   (with η ↾ ω 1 \ E   the zero map), then we obtain the relatives of M   :
φ η = ⋃ α ∈ ω 1 φ η ↾ α and N η = K e r φ η .   Hence G / K e r φ η ∼ = Q   and { N η : η ∈ ω 1 2 }   is a family of pure and dense submodules of corank 1   .
We claim that there is η ∈ ω 1 2   such that no Θ ∈ A u t R G   satisfies M Θ = N η   . From this the Theorem follows.
Assume for contradiction that for any η ∈ ω 1 2   there is Θ η ∈ A u t R G   with M Θ η = N η   . Now we specify the choice of the cubs C η ⊆ λ   for Lemma  2.2 : By the usual back and forth argument we may assume that G α Θ η = G α   for all α ∈ C η   . By the weak diamond and Lemma  2.2 there are some η 0 , η 1 ∈ ω 1 2   and α ∈ ω 1   such that
  • (i) α   is the branch point of η 0   and η 1   : η 0 ↾ α = η 1 ↾ α = ν   but α η 0 ≠ α η 1  
  • (ii) α η 0 = 0   and α η 1 = 1   ,
  • (iii) Θ η 0 ↾ G α = Θ η 1 ↾ G α   .
  • (iv) α ∈ C η 0 .  
If we put Θ = Θ η 1 − Θ η 0   , then Θ ∈ E n d G   induces θ : G / G α ⟶ G   . But necessarily α ∈ E   , hence ( G α + 1 / G α ) * = 0   by ( 2.3 ). On the other hand G   is ℵ 1   -free and ( G α + 1 / G α )   is countable, hence G α + 1 Θ = 0   . It follows that
Θ η 1 ↾ G α + 1 = Θ η 0 ↾ G α + 1 . (2.5)
Since α η 0 = 0   by (ii), we have η 0 = ν ∧ 〈 0 〉   and x α 0 φ ν ∧ 〈 0 〉 = 0   by definition of the extension map. But φ ν ∧ 〈 0 〉 ⊆ φ η 0   and so x α 0 φ η 0 = 0   . We derive x α 0 ∈ N η 0   .
By the choice of C η 0   it will follow y * Θ η 0 ∈ G α + 1   : Note that Θ η 0 − 1   leaves G α   invariant and thus also maps G α + 1   into itself because G / G α + 1   is ℵ 1   -free but ( G α + 1 / G α ) * = 0   by ( 2.3 ). (We say that G α + 1   is the Chase radical of G   over G α   .) From y * Θ η 0 ∈ G α + 1   and ( 2.5 ) also follows x α 0 = y * Θ η 0   . But now x α 0 = y * Θ η 1 ∈ G α + 1 ∩ N η 1 = K e r φ ν ∧ 〈 1 〉   , so x α 0 φ ν ∧ 〈 1 〉 = 0   . Hence x α 0 φ ν ∧ 〈 0 〉 − x α 0 φ ν ∧ 〈 1 〉 = 0   , which contradicts ( 2.4 ).
The proof immediately gives the a stronger result:
If M ⊆ G   is a pure and dense submodule of corank 1   , the we denote by [ M ] = M A u t R G   the orbit of M   under the action of the automorphism group.
Corollary 2.4 (ZFC + 2 ℵ 0 < 2 ℵ 1   ): If G   is a module as in the Theorem  2.3 which is not free and of cardinality ℵ 1   , then G   has ℵ 1   distinct orbits of pure, dense submodules of corank 1   .
Proof. Partition E   into ℵ 1   stationary sets.

3 Crawley modules under Martin's Axiom

The proof of our next theorem is inspired by the Löwenheim-Skolem argument. We first state and prove an observation mentioned by Brendan Goldsmith. This will be used to reduce the theorem to a result in [2] .
Observation 3.1 Every subring of a principal ideal domain R   is a subring of principal ideal domain contained in R   and of the same cardinality.
Proof. Let R 1 ⊆ R   be the given rings, let Q   be the field of fractions of R 1   and set R 2 = R ∩ Q   which is a subring of R   of cardinality | R 1 |   containing R 1   . We will show that R 2   is a principal ideal domain. If I   is an ideal of R 2   , then I R   is an ideal of R   and so I R = a R   for some a ∈ R   . However a ∈ I R   and so a = i r   for some i ∈ I , r ∈ R   . Now if x   is an arbitrary element of I   , then x = a r x   for some r x ∈ R   and so x = i r r x = i t x   say where t x = r r x ∈ R   . However t x = x / i ∈ K ∩ R = R 2   . So x = i t x   is a product of an element in I   and in R 2   . Since x   was arbitrary in I   we have I ⊆ i R 2   and since the reverse inclusion is trivial, we deduce that I = i R 2   is principal.
Theorem 3.2 (ZFC + MA) Let R   be a principal ideal domain. Any strongly ℵ 1   -free R   -module of rank ℵ 1   is a Crawley module.
Proof. Let N 1 , N 2 ⊆ G   be two pure and dense submodules of corank 1   of the strongly ℵ 1   -free R   -module G   of rank ℵ 1   . Moreover let φ i : G ⟶ Q   be the canonical epimorphisms with kernel K e r φ i = N i ( i = 1 , 2 )   . Choose an ℵ 1   -filtration G = ∪ α ∈ ω 1 G α   and let N i α = N i ∩ G α   be the induced ℵ 1   -filtration on N i ( i = 1 , 2 )   . We can assume that there are z i ∈ G 0   with z i φ i = 1 ∈ Q   for i = 1 , 2   . Moreover, let each G 0 , N i 0   have infinite rank (w.l.o.g.). Also choose an R   -basis for each G α , N i α   , thus G α = ⊕ n ∈ ω R x α n 0 , N i α = ⊕ n ∈ ω R x α n i for i = 1 , 2 .   If α < β ∈ ω 1 , n ∈ ω   , then x α n i = ∑ m ∈ ω a β n m i α x β m i for some a β n m i α ∈ R .   Since z i ∈ G 0   , also z i = ∑ m ∈ ω b m i x 0 m 0   for some b m i ∈ R   . Now we can choose a subring R ′   of R   of cardinality ℵ 1   containing all these coefficients a β n m i α , b m i   .
Let G α ′ = ⊕ n ∈ ω R ′ x α n 0 , N i α ′ = ⊕ n ∈ ω R ′ x α n i for i = 1 , 2   be the corresponding free R ′   -module. We have ℵ 1   -filtrations G ′ = ∪ α ∈ ω 1 G α ′   and N i ′ = ∪ α ∈ ω 1 N i α ′   ; this uses that R ′   is sufficiently saturated! Moreover, passing from G   to G ′   it is easy to see that also G ′   is a strongly ℵ 1   -free R ′   -module. Also z i ∈ G 0 ′   and φ i ′ = φ i ↾ G ′   is an R ′   -homomorphism G ′ ⟶ Q   .
By another back and forth argument, using that φ i : G ⟶ Q   are epimorphisms (so enlarging R ′   ) we may assume that φ i ′   maps G ′   onto the quotient field Q ′   of R ′   . By Observation  3.1 we also assume that R ′   is a principal ideal domain. Thus G ′ / N i ′ ∼ = Q ′   for i = 1 , 2   , and we can apply Theorem  1.3  ( i i )   . The R ′   -module G ′   is a Crawley R ′   -module and there is Θ ′ ∈ A u t R ′ G ′   with N 1 ′ Θ ′ = N 2 ′   .
Finally we extend Θ ′   (uniquely) to Θ ∈ A u t R G   such that N 1 Θ = N 2   :
There is a cub C ⊆ ω 1   such that Θ α ′ = Θ ′ ↾ G α ′ ∈ A u t R ′ G α ′   for all α ∈ C   ; moreover Θ ′ = ∪ α ∈ C Θ α ′   and G ′ = ∪ α ∈ C G α ′   . These R ′   -automorphisms Θ α ′   act on the free R ′   -module G α ′ = ⊕ n ∈ ω R ′ x α n 0   ; they extend naturally to R   -automorphisms Θ α   of the free R   -module G α = ⊕ n ∈ ω R x α n 0   by tensoring with R   . Clearly Θ = ∪ α ∈ C Θ α   and N 1 Θ = N 2   .
(This also shows that G   is ℵ 1   -presented, i.e. it can be expressed as the quotient of two free R   -modules of rank ℵ 1   .) If R   is a principal ideal domain with quotient field Q   countably generated over R   , then there is a multiplicatively closed subset S   of R \ { 0 }   such that S − 1 R = Q   . We may assume that 1 ∈ S   and choose an enumeration { s i : i ∈ ω } = S   with s 0 = 1   .
Moreover q n = ∏ i ≤ n s i   . In particular 0 = ∩ i ∈ ω R q i   , so R   is an S   -ring; see [7] . Examples are the principal ideal domains of p   -adic integers J p   with S = { p n : n ∈ ω }   and counter examples are polynomial rings Z [ X ]   over Z   in sets X of uncountably many, commuting variables. If R   is such an S   -ring, then we can construct Griffith's strongly ℵ 1   -free R   -module of rank ℵ 1   : Let F = ⊕ i ∈ ω 1 R e i   be the free R   -module of rank ℵ 1   and F ^   its S   -adic completion; note that the S   -topology on F   is Hausdorff by the above. Let E ⊆ ω 1   be a stationary subset of limit ordinals and choose for any limit ordinal δ ∈ ω 1   a ladder, i.e. a strictly increasing sequence of successor ordinals δ n ( n ∈ ω )   with limit δ   . We consider the elements v δ k = ∑ n ≥ k ( q n q k − 1 ) e δ n ∈ F ^   and let G = 〈 F , R v δ k : δ ∈ E , k ∈ ω 〉   which is a pure submodule of F ^ ∩ ∏ i ∈ ω 1 R e i   . It is easy to check, that G   is strongly ℵ 1   -free with Γ   -invariant Γ ( E ) ≠ 0   , hence not free. Thus the next corollary follows from Theorem  3.2 .
Corollary 3.3 (ZFC + MA + ℵ 1 < 2 ℵ 0   ) If R   is a principal ideal domain with quotient field Q ≠ R   countably generated over R   , then there are ℵ 1   -free but not free Crawley R   -modules of rank ℵ 1   .
Corollary  1.4 follow immediately from Corollary  3.3 and Theorem  3.2 .
References

  1. A. L. S. Corner and R. Göbel, Prescribing endomorphism algebras, a unified treatment, Proc. London Math. Soc. 50 (1985), 447–479.
  2. A. L. S. Corner, R. Göbel and B. Goldsmith, The Existence of torsion–free, non-free Crawley Groups is Undecidable, to be submitted (2004).
  3. K. J. Devlin, S. Shelah, A weak version of ◊   which follows from 2 ℵ 0 < 2 ℵ 1   , Israel J. Math. 29 (1978) 239 – 247.
  4. P. Eklof and A. Mekler, Almost Free Modules, Set-theoretic Methods, North-Holland, 1990.
  5. L. Fuchs, Abelian Groups, Publishing House of the Hungarian Academy of Science, Budapest 1958.
  6. L. Fuchs, Infinite Abelian Groups, Vol. I and II, Academic Press, 1970 and 1973.
  7. R. Göbel and J. Trlifaj, Approximations and endomorphism algebras of modules , Walter de Gruyter, Berlin 2004.
  8. T. Jech, Set Theory, Academic Press 1978.
  9. C. Megibben, Crawleys problem on the unique ω 1   -elongations of p   -groups is undecidable, Pacific J. Math. 107 (1983) 205 – 212.
  10. A. H. Mekler, S. Shelah, ω   -elongations and Crawley's problem, Pacific J. Math. 121 (1986) 121 – 132.
  11. A. H. Mekler, S. Shelah, The solution of Crawley's problem, Pacific J. Math. 121 (1986) 133 – 134.
  12. S. Shelah, Infinite abelian groups, Whitehead problem and some constructions, Israel J. Math. 18 (1974) 243 – 256.
  13. S. Shelah, Proper and Improper Forcing, Springer Verlag, Berlin 1997.