Timeline for A proper class of formulas with every set-sized (but no proper-class-sized) subcollection satisfiable
Current License: CC BY-SA 3.0
6 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Dec 6, 2015 at 16:08 | vote | accept | Haidar | ||
| Dec 6, 2015 at 15:33 | answer | added | Joel David Hamkins | timeline score: 5 | |
| Dec 6, 2015 at 15:30 | comment | added | Wojowu | Do you know of any such class P of formulas? | |
| Dec 6, 2015 at 15:21 | review | Close votes | |||
| Dec 9, 2015 at 16:52 | |||||
| Dec 6, 2015 at 14:55 | review | First posts | |||
| Dec 6, 2015 at 15:13 | |||||
| Dec 6, 2015 at 14:54 | history | asked | Haidar | CC BY-SA 3.0 |