Timeline for A (seem to be) elementary logic question
Current License: CC BY-SA 3.0
6 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Mar 27, 2013 at 1:29 | vote | accept | Ruizhi Yang | ||
| Mar 26, 2013 at 20:47 | comment | added | Joel David Hamkins | Ah, I had missed that. | |
| Mar 26, 2013 at 19:18 | comment | added | Andreas Blass | Joel, the end of the first paragraph says $\sigma$ is true in $\mathfrak A$ (and MO is not showing me any edit history to indicate this was added after your comment). I'm voting to close because, as Noah pointed out, the answer is a well-known theorem. | |
| Mar 26, 2013 at 17:00 | comment | added | Joel David Hamkins | Probably you intent to assert $\sigma$ in $\mathfrak{A}$ as well as $\mathfrak{B}$? Otherwise the only way your hypothesis can be true is if the structures are empty. | |
| Mar 26, 2013 at 16:48 | answer | added | Noah Schweber | timeline score: 5 | |
| Mar 26, 2013 at 16:30 | history | asked | Ruizhi Yang | CC BY-SA 3.0 |