Timeline for Definable collections without definable members (in ZF)
Current License: CC BY-SA 2.5
6 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Sep 18, 2010 at 21:23 | history | edited | François G. Dorais | CC BY-SA 2.5 |
addendum
|
| Jan 2, 2010 at 19:40 | comment | added | François G. Dorais | I suspect that Fact 3 is false assuming only extensionality and not wellfoundedness. I don't know what happens when one assumes much more than just extensionality, like ZF. | |
| Jan 2, 2010 at 14:49 | comment | added | Joel David Hamkins | By the way, I noticed that property (A) implies the Axiom of Choice---see the edit to my answer. A question: Do you need the prime model to be well-founded in (3)? | |
| Jan 2, 2010 at 14:47 | comment | added | Joel David Hamkins | This is very nice. | |
| Jan 2, 2010 at 9:58 | history | edited | François G. Dorais | CC BY-SA 2.5 |
typo
|
| Jan 2, 2010 at 9:45 | history | answered | François G. Dorais | CC BY-SA 2.5 |