Talk:Compact Subspace of Linearly Ordered Space

Challenge

Can anyone figure out a way to proof the converse in pure ZF, or using something weaker than BPI? --Dfeuer (talk) 19:04, 10 February 2013 (UTC)

Have you tried a literature search? --prime mover (talk) 19:05, 10 February 2013 (UTC)

I asked over at stackexchange, and someone sketched a choice-free proof. It's a bit on the gappy side, but it looks like it probably works. I'll get to filling in gaps to make a second proof. --Dfeuer (talk) 14:19, 12 February 2013 (UTC)

Compendium of related results

[1] --Dfeuer (talk) 04:34, 11 February 2013 (UTC)