Timeline for When can we have "each subtheory is satisfiable iff it is recursively axiomatizable"?
Current License: CC BY-SA 3.0
5 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Dec 31, 2015 at 14:28 | vote | accept | Haidar | ||
| S Dec 9, 2015 at 15:51 | history | suggested | Haidar | CC BY-SA 3.0 |
rewording of 3rd sentence for clarity
|
| Dec 9, 2015 at 15:22 | review | Suggested edits | |||
| S Dec 9, 2015 at 15:51 | |||||
| Dec 8, 2015 at 14:38 | comment | added | Haidar | Thanks Joel, this is the kind of example I was looking for. I'd like to revise the question slightly. | |
| Dec 8, 2015 at 14:22 | history | answered | Joel David Hamkins | CC BY-SA 3.0 |