Timeline for Is it consistent with ZFC (or ZF) that every definable family of sets has at least one definable member?
Current License: CC BY-SA 3.0
2 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Sep 12, 2014 at 18:36 | history | edited | Andrej Bauer | CC BY-SA 3.0 |
deleted 1 character in body
|
| Sep 12, 2014 at 18:19 | history | answered | jonasreitz | CC BY-SA 3.0 |