Timeline for End Extension models of $I\Delta_0$
Current License: CC BY-SA 3.0
9 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Dec 30, 2015 at 9:26 | comment | added | Ali Enayat | @Khaniki: The converse to Proposition A says that if $M$ is a model of $I\Delta_0$ for which (a) and (b) are true, then $M$ has an end extension to a model of $PA$. | |
| Dec 17, 2015 at 22:13 | comment | added | Erfan Khaniki | What do you mean by convere of proposition A? I had some problem with its converse. | |
| Dec 5, 2015 at 22:38 | history | edited | Ali Enayat | CC BY-SA 3.0 |
deleted 24 characters in body
|
| Dec 5, 2015 at 22:17 | history | edited | Ali Enayat | CC BY-SA 3.0 |
edited body
|
| Dec 5, 2015 at 12:53 | history | edited | Ali Enayat | CC BY-SA 3.0 |
added 16 characters in body
|
| Dec 5, 2015 at 11:32 | history | edited | Ali Enayat | CC BY-SA 3.0 |
edited body
|
| Dec 5, 2015 at 11:12 | comment | added | Rahman. M | It seems the link of your paper joint with Wong does not work correctly. I think it should be logic.univie.ac.at/~wongt9/papers/ew-wkl0star.pdf | |
| Dec 5, 2015 at 10:33 | history | edited | Ali Enayat | CC BY-SA 3.0 |
Elaborated the answer by modifying Proposition A, and Answers (1) and (2).
|
| Dec 4, 2015 at 15:32 | history | answered | Ali Enayat | CC BY-SA 3.0 |