Timeline for In NBG (ZFC + classes) if $P$ nonempty predicate of classes must $P$ have definable solution?
Current License: CC BY-SA 3.0
6 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jun 2, 2017 at 3:49 | history | edited | Peter Gerdes | CC BY-SA 3.0 |
Explained what question was intended and also answered.
|
| Jun 2, 2017 at 3:38 | vote | accept | Peter Gerdes | ||
| Jun 2, 2017 at 3:37 | history | edited | Peter Gerdes | CC BY-SA 3.0 |
Added further explanation of notation.
|
| Jun 2, 2017 at 0:31 | answer | added | Joel David Hamkins | timeline score: 3 | |
| Jun 1, 2017 at 23:36 | history | edited | Peter Gerdes | CC BY-SA 3.0 |
Made question at top more clear...added clarification if people don't recognize NBG
|
| Jun 1, 2017 at 23:24 | history | asked | Peter Gerdes | CC BY-SA 3.0 |