Timeline for Formalizing Elementary Embeddings and Substructures in ZFC
Current License: CC BY-SA 3.0
5 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Nov 28, 2013 at 4:02 | vote | accept | William | ||
| Nov 27, 2013 at 8:19 | answer | added | Stefan Geschke | timeline score: 6 | |
| Nov 27, 2013 at 8:18 | answer | added | Monroe Eskew | timeline score: 6 | |
| Nov 27, 2013 at 7:14 | review | First posts | |||
| Nov 27, 2013 at 7:39 | |||||
| Nov 27, 2013 at 6:55 | history | asked | William | CC BY-SA 3.0 |