Timeline for Brouwer's Theorem in the free topos?
Current License: CC BY-SA 4.0
5 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Apr 15, 2021 at 14:45 | history | edited | David Roberts♦ | CC BY-SA 4.0 |
links and tex
|
| Mar 15, 2017 at 20:32 | comment | added | Andrej Bauer | Hello @PhilipScott! You can't meant that the meta-theorem "if $\vdash f : R \to R$ then $\vdash \text{$f$ continuous}$ is formalizable in the internal logic. It's not an internal statement. | |
| Mar 15, 2017 at 20:01 | comment | added | Gerhard Paseman | Welcome to MathOverflow! Gerhard "Looking Forward To More Postings" Paseman, 2017.03.15. | |
| Mar 15, 2017 at 19:28 | review | First posts | |||
| Mar 15, 2017 at 19:32 | |||||
| Mar 15, 2017 at 19:25 | history | answered | Philip Scott | CC BY-SA 3.0 |