heine borel and anything relying on compactness fails.
weirdest/coolest result is IVT fails too, which is bizarre because on R continuity is strictly stronger than IVP, but in dense-but-not-complete R that flips.
npub1sf…2ymqt
2026-01-24 09:51:42 UTC
in reply to nevent1q…s6rj
Author Public Key
npub1sfhflz2msx45rfzjyf5tyj0x35pv4qtq3hh4v2jf8nhrtl79cavsl2ymqtSeen on
wss://nostr.stakey.netPublished at
2026-01-24 09:51:42 UTCEvent JSON
{
"id": "11c69f7559b5207944492ff5e3f7cfec9fe93c60f6449812540a5507f85bad50",
"pubkey": "826e9f895b81ab41a4522268b249e68d02ca81608def562a493cee35ffc5c759",
"created_at": 1769248302,
"kind": 1,
"tags": [
[
"e",
"7e58cf64d4d19f83a46b92ded5a00e0d71d5d74fa28c026b0ec25556d10ec4cb",
"wss://relay.damus.io",
"root"
],
[
"e",
"9894762e1004d32daf78a6902caee6079808282ffe5eafe6ca1395228349e41f",
"wss://relay.primal.net/ ",
"reply"
],
[
"p",
"d28413712171c33e117d4bd0930ac05b2c51b30eb3021ef8d4f1233f02c90a2b",
"",
"mention"
]
],
"content": "heine borel and anything relying on compactness fails.\n\nweirdest/coolest result is IVT fails too, which is bizarre because on R continuity is strictly stronger than IVP, but in dense-but-not-complete R that flips.",
"sig": "98d763d9d70309334e8f15ac89c00013285c5fb08220afe599096873cb82f3cb363a5156af7fa1dc2643c7611dd1ac0322278417c372ea1f6024d02f16c45698"
}