Timeline for Archimedean ordered field in which every function is smooth
Current License: CC BY-SA 4.0
3 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Feb 8 at 15:05 | comment | added | Madeleine Birchfield | @GeraldEdgar In this case I am talking about neutral constructive mathematics - see i.e. the nLab article on neutral constructive mathematics. We also assume impredicativity in order to define Dedekind cuts and the Dedekind real numbers. For specific foundations, one has intuitionistic bounded Zermelo set theory (IBZ), intuitionistic higher order logic (IHOL), intuitionistic ETCS, etc. | |
| Feb 8 at 14:50 | comment | added | Gerald Edgar | Can you provide a link for "constructive mathematics"? I think that terminology has different meanings in various contexts. | |
| Feb 8 at 13:16 | history | asked | Madeleine Birchfield | CC BY-SA 4.0 |