Timeline for Kripke models of $HA$
Current License: CC BY-SA 3.0
5 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Dec 6, 2015 at 10:48 | comment | added | Ali Enayat | Yes, for more detail see Slaman's 2004 paper available at: ams.org.ezproxy.ub.gu.se/journals/proc/2004-132-08/… | |
| Dec 6, 2015 at 10:40 | comment | added | Erfan Khaniki | @AliEnayat: Thank you for your comment. By " $I\Delta_1$ is known to be equivalent to $B\Sigma_1$ in the presence $I\Delta_0+EXP$ " you mean $$I\Delta_0+EXP\vdash B\Sigma_1 \equiv I\Delta_1$$? | |
| Dec 6, 2015 at 10:19 | comment | added | Ali Enayat | The abstract of the first paper you mention (by van Dalen et al.) states that $T$ includes at least $I\Delta_1$; this seems to follow from the results in section 4 of the paper (by the way, $I\Delta_1$ is known to be equivalent to $B\Sigma_1$ in the presence $I\Delta_0$ + "exponentiation is a total function"). | |
| Dec 5, 2015 at 19:55 | history | edited | Erfan Khaniki |
edited tags
|
|
| Dec 5, 2015 at 18:32 | history | asked | Erfan Khaniki | CC BY-SA 3.0 |