Timeline for Real reverse mathematics
Current License: CC BY-SA 4.0
3 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jul 25, 2023 at 13:02 | comment | added | Steven Landsburg | @AlexRhea: Point well taken. | |
| Jul 25, 2023 at 9:35 | comment | added | Alec Rhea | I think you're underestimating your $\Phi_M$ -- in particular, it seems that $$'ZF\vdash X'\in\Phi_{Steven\ Landsburg},$$ and maybe that $NF\vdash \neg X$ is in there as well -- mathematicians who begin studying multiple foundations have their $\Phi_M$ change in this way, to my mind, instead of consisting of 'pure claims' there is a coexistence of 'pure claims' together with claims of what is true relative to what foundation. | |
| Jul 25, 2023 at 3:33 | history | answered | Steven Landsburg | CC BY-SA 4.0 |