Current browse context:
math.LO
Change to browse by:
References & Citations
Mathematics > Logic
Title: Between Whitehead groups and uniformization
(Submitted on 23 Mar 2022 (v1), last revised 9 Jun 2022 (this version, v2))
Abstract: For a given stationary set $S$ of countable ordinals we prove (in $\mathbf{ZFC}$) that the assertion "every $S$-ladder system has $\aleph_0$-uniformization" is equivalent to "every strongly $\aleph_1$-free abelian group of cardinality $\aleph_1$ with non-freeness invariant $\subseteq S$ is $\aleph_1$-coseparable, i.e. Ext$(G, \oplus_{i=0}^{\infty} \mathbb Z)=0$ (in particular Whitehead, i.e.\ Ext$(G, \mathbb Z)=0$)". This solves problems B3 and B4 from Eklof and Mekler's monograph.
Submission history
From: Márk Poór [view email][v1] Wed, 23 Mar 2022 17:50:26 GMT (41kb)
[v2] Thu, 9 Jun 2022 09:01:58 GMT (51kb)
Link back to: arXiv, form interface, contact.