Talk:Compact Subspace of Linearly Ordered Space
Jump to navigation
Jump to search
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)