Damus
note1nz28v...
allen profile picture
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.
1
allen · 3w
speaking of which, nostr:nprofile1qqsw79gu0guq7s98t473fyavx3akwaafmx6l5z4rehd50lrcl2mf4zcpzemhxue69uhhyetvv9ujuurjd9kkzmpwdejhgqgcwaehxw309aex2mrp0yhxvun9v4cxcctrv5hxumq4l8tea, do you even believe the reals exist?