Skip to main content

All Questions

Tagged with
Filter by
Sorted by
Tagged with
32 votes
3 answers
6k views

Is "compact implies sequentially compact" consistent with ZF?

Over at the nForum, we've been discussing sequential compactness. The discussion led me to realise that I naively assumed that nets were simply Big Sequences, and that I could make a reasonable guess ...
Andrew Stacey's user avatar