Timeline for Does this axiom (a weak form of class valued choice) has a name?
Current License: CC BY-SA 3.0
3 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Aug 7, 2015 at 15:44 | comment | added | Simon Henry | Thank you, together with Zhen lin comment on the "categorical version" of this axiom it gives me exactly what I needed, and it indeed apply largely independently of the background theory. | |
| Aug 7, 2015 at 15:43 | vote | accept | Simon Henry | ||
| Aug 7, 2015 at 15:26 | history | answered | Joel David Hamkins | CC BY-SA 3.0 |