Timeline for Categoricity in second order logic
Current License: CC BY-SA 4.0
3 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Aug 13 at 8:32 | history | edited | Ali Enayat | CC BY-SA 4.0 |
Added the reference to the paper of Saarinen et al.
|
| Aug 12 at 10:48 | history | edited | Ali Enayat | CC BY-SA 4.0 |
Fine-tuned items 1, and added the reference at the end.
|
| Aug 11, 2011 at 6:20 | history | answered | Ali Enayat | CC BY-SA 3.0 |