Timeline for Is the Axiom of Union independent of the rest of ZF?
Current License: CC BY-SA 3.0
10 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Nov 24, 2011 at 19:37 | history | edited | Kaveh | CC BY-SA 3.0 |
deleted 158 characters in body
|
| Nov 24, 2011 at 19:37 | comment | added | Kaveh | @Andreas, thank you. | |
| Nov 24, 2011 at 19:26 | comment | added | Andreas Blass | The second part of your answer doesn't seem to do what you want, since $Y$ could just be the given $X$, not its union (assuming $P$ is intended to mean power set). | |
| Nov 24, 2011 at 19:19 | history | edited | Kaveh | CC BY-SA 3.0 |
added 508 characters in body
|
| Nov 24, 2011 at 19:02 | history | edited | Kaveh | CC BY-SA 3.0 |
deleted 7 characters in body
|
| Nov 24, 2011 at 18:58 | history | undeleted | Kaveh | ||
| Nov 24, 2011 at 18:56 | history | edited | Kaveh | CC BY-SA 3.0 |
deleted 275 characters in body; added 151 characters in body
|
| Nov 24, 2011 at 18:48 | history | deleted | Kaveh | ||
| Nov 24, 2011 at 18:48 | history | edited | Kaveh | CC BY-SA 3.0 |
added 202 characters in body
|
| Nov 24, 2011 at 18:26 | history | answered | Kaveh | CC BY-SA 3.0 |