Timeline for Question about undecidable consequences of Con, learnability and arithmetical complexity of logical consequence
Current License: CC BY-SA 3.0
3 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jun 25, 2013 at 3:02 | review | First posts | |||
| Jun 25, 2013 at 8:15 | |||||
| Jun 6, 2013 at 11:33 | vote | accept | mtg | ||
| Jun 6, 2013 at 10:27 | history | answered | Marek Czarnecki | CC BY-SA 3.0 |