In article <email@example.com>, "Gene Ward Smith" <firstname.lastname@example.org> wrote:
> On the other hand, sometimes painful issues do arise. The Whitehead > problem, whether or not Ext^1(A, Z)=0 for A an abelian group entails > that A is free, was a shocker to algebraists, you may recall.
Funny you should mention this, as another post in this thread says,
"And no one lost any sleep when Shelah proved that the answer to Whitehead's conjecture depends on the set theory chosen: my guess for this is that essentially no one who has thought deeply about the issue has any real intuition as to what the answer should be, so it is not a problem if changing the set theory used changes the answer."
I have no dog in this race.
-- Gerry Myerson (email@example.com) (i -> u for email)