I just have a hard time imagining someone who was happy with “c is well-ordered” but for whom “2^c is well-ordered” is a bridge too far.
Hm, agreed. I guess not so much “the full strength” but “the full counterintuitiveness”? Where DC uses hardly any of the counterintuitiveness, and ultrafilter lemma uses nearly all of it?
I just have a hard time imagining someone who was happy with “c is well-ordered” but for whom “2^c is well-ordered” is a bridge too far.
Hm, agreed. I guess not so much “the full strength” but “the full counterintuitiveness”? Where DC uses hardly any of the counterintuitiveness, and ultrafilter lemma uses nearly all of it?