Timeline for When can we prove constructively that a ring with unity has a maximal ideal?
Current License: CC BY-SA 2.5
2 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jan 27, 2011 at 20:58 | comment | added | Joel David Hamkins | This argument uses the principal of Dependent Choice, rather than merely countable choice, since the choices are made in succession. DC is known to be strictly stronger than countable choice, but strictly weaker than AC. | |
| Nov 28, 2009 at 21:47 | history | answered | David E Speyer | CC BY-SA 2.5 |