Skip to main content
7 events
when toggle format what by license comment
S Mar 27, 2023 at 18:40 history suggested Steven Clontz CC BY-SA 4.0
update pi-base url, remove broken link
Mar 27, 2023 at 18:09 review Suggested edits
S Mar 27, 2023 at 18:40
Nov 5, 2018 at 23:12 history edited Francesco Polizzi CC BY-SA 4.0
edited body
Nov 5, 2018 at 22:51 comment added Nate Eldredge If you actually click on the "connected" listing for that space, it says "this is wrong, please delete me". It seems that the Github code for $\pi$-base correctly says "false": github.com/pi-base/data/blob/master/spaces/S000107/properties/…. I don't know why they are out of sync. The "this is wrong" text doesn't even appear in the git history of that file.
Nov 5, 2018 at 15:58 vote accept Dominic van der Zypen
Nov 5, 2018 at 15:54 comment added Francesco Polizzi Well, there is probably a mistake in $\pi$-base, since the second space I gave is the box topology in $\mathbb{R}^{\omega}$, which is not connected (Steen-Seebach, Counterexamples in Topology, p. 128-129).
Nov 5, 2018 at 15:43 history answered Francesco Polizzi CC BY-SA 4.0