Timeline for How similar can a model of $I\Delta_0$ be to the intersection of all of its definable cuts?
Current License: CC BY-SA 4.0
2 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Apr 20, 2021 at 6:45 | comment | added | Emil Jeřábek | If $M\equiv C$, then (on top of the already mentioned $I\Delta_0+\mathrm{Exp}+B\Sigma_1$) $M$ satisfies the local reflection principle for restricted/cut-free provability. That is, it is a model of Peano Basso. | |
| Apr 19, 2021 at 19:40 | history | asked | James E Hanson | CC BY-SA 4.0 |