Timeline for reference request : constructive measure theory
Current License: CC BY-SA 3.0
2 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Sep 10, 2013 at 15:02 | comment | added | Alex Simpson | Tom, thanks for the pointer to my work. Just to point out that, although I have given talks on this topic, the only thing I have published on the subject (my APAL 2012 paper "Measure, randomness and sublocales") used classical logic. | |
| Sep 10, 2013 at 11:46 | history | answered | Tom Leinster | CC BY-SA 3.0 |