Timeline for Does Cantor-Bernstein hold for classes?
Current License: CC BY-SA 2.5
2 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Oct 19, 2009 at 2:24 | comment | added | Eric Wofsey | In NBG the same answer still works, it just works even better because you can state it as a theorem rather than a metatheorem. The only thing to check is that you never would need to use comprehension with class variables, but you don't--you only use the specific classes in question as parameters. | |
| Oct 19, 2009 at 2:19 | history | answered | Andrew Critch | CC BY-SA 2.5 |