Skip to main content
6 events
when toggle format what by license comment
Jul 2, 2022 at 19:58 vote accept Roselyn van Lauwe
Jul 1, 2022 at 3:58 history became hot network question
Jun 30, 2022 at 20:33 answer added Roselyn van Lauwe timeline score: 11
Jun 30, 2022 at 20:28 comment added Neil Strickland How about this: cs.bham.ac.uk/~mhe/papers/lics2001-revised.pdf ("A universal characterisation of the closed Euclidean interval", by Escardo and Simpson). It's certainly in the same spirit, but the technical details are a bit different from what you said.
Jun 30, 2022 at 20:00 comment added Roselyn van Lauwe Also, please let me know if this would be more at home on the Math SE! I figured that since I'm looking for a bit of research for my own research it qualifies as 'research level', but I may have misjudged.
Jun 30, 2022 at 19:58 history asked Roselyn van Lauwe CC BY-SA 4.0