Between Whitehead groups and uniformization

Abstract: For a given stationary set

S

of countable ordinals we prove (in

m a t h b f Z F C

) that the assertion "every

S

-ladder system has

a l e p h_{0}

-uniformization" is equivalent to "every strongly

a l e p h_{1}

-free abelian group of cardinality

a l e p h_{1}

with non-freeness invariant

s u b s e t e q S

is

a l e p h_{1}

-coseparable, i.e. Ext

(G, o p l u s_{i = 0}^{i n f t y} m a t h b b Z) = 0

(in particular Whitehead, i.e. Ext

(G, m a t h b b Z) = 0

)". This solves problems B3 and B4 from Eklof and Mekler's monograph.

This page was built for publication: Between Whitehead groups and uniformization