Timeline for Has by well-foundedness every non-empty class an $R$-minimal element? Also if axiom REG is not assumed?
Current License: CC BY-SA 3.0
3 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Aug 23, 2015 at 5:20 | history | bounty ended | drhab | ||
| Aug 23, 2015 at 5:20 | vote | accept | drhab | ||
| Aug 20, 2015 at 16:06 | history | answered | Emil Jeřábek | CC BY-SA 3.0 |