Talk:Compact Subspace of Linearly Ordered Space

abcxyz, since you were the one who put up the original version of this page, I'd appreciate if you'd check this whole thing over for accuracy. --Dfeuer (talk) 19:02, 10 February 2013 (UTC)

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)