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)