Timeline for infinitary logic and partial fixed point logic
Current License: CC BY-SA 3.0
4 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Apr 14, 2014 at 12:39 | answer | added | Joel David Hamkins | timeline score: 3 | |
| Apr 13, 2014 at 16:39 | history | edited | Bjørn Kjos-Hanssen | CC BY-SA 3.0 |
added 2 characters in body
|
| Apr 13, 2014 at 15:33 | comment | added | Joel David Hamkins | Are you interested only in finite models? And do you mean $L_{\infty,\omega}$ rather than $L_{\omega,\infty}$? | |
| Apr 13, 2014 at 13:12 | history | asked | user47181 | CC BY-SA 3.0 |