Timeline for What can $I\Delta_0$ prove?
Current License: CC BY-SA 4.0
12 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| S Feb 10, 2021 at 2:10 | history | bounty ended | BPP | ||
| S Feb 10, 2021 at 2:10 | history | notice removed | BPP | ||
| Feb 9, 2021 at 19:02 | vote | accept | BPP | ||
| Feb 9, 2021 at 3:53 | comment | added | Erfan Khaniki | They considered several theorems in mathematics including some in the combinatorics and formalized them in essentially fragments of $I\Delta_0$ or its fragments with an additional axiom which says $x^{\log x}$ is a total function. | |
| Feb 9, 2021 at 3:50 | comment | added | Erfan Khaniki | users.math.cas.cz/~jerabek/papers/phd.pdf | |
| Feb 9, 2021 at 3:49 | comment | added | Erfan Khaniki | The following thesis investigated the reverse mathematics of bounded arithmetic: andrew.cmu.edu/user/avigad/Students/ojakian.pdf | |
| Feb 9, 2021 at 2:33 | answer | added | user44143 | timeline score: 10 | |
| S Feb 9, 2021 at 1:54 | history | bounty started | BPP | ||
| S Feb 9, 2021 at 1:54 | history | notice added | BPP | Draw attention | |
| Jan 29, 2021 at 1:09 | comment | added | BPP | I skimmed that chapter before I posted my question. All I could find was information about what kind of coding is possible for arithmetizing syntax in $I\Delta_0$, but no standard theorems about combinatorics or number theory. Did I miss something? | |
| Jan 27, 2021 at 16:43 | comment | added | Ali Enayat | A good place to start learning about what can be done in $I\Delta_0$ is the book Metamathematics of First-Order Arithmetic by Petr Hájek and Pavel Pudlák, a free copy of which can be accessed via the link below (especially in Chapter V). Note the $I\Delta_0$ is referred to as $I\Sigma_0$ in the book. projecteuclid.org/euclid.pl/1235421926#toc | |
| Jan 26, 2021 at 0:22 | history | asked | BPP | CC BY-SA 4.0 |