Timeline for End Extension models of $I\Delta_0$
Current License: CC BY-SA 3.0
2 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Dec 20, 2015 at 12:58 | comment | added | Erfan Khaniki | Could you please introduce me some papers that prove propositions that you said? Thanks! | |
| Dec 3, 2015 at 13:31 | history | answered | user57888 | CC BY-SA 3.0 |