Timeline for Nilradicals without Zorn's lemma
Current License: CC BY-SA 2.5
11 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| S Jun 7, 2010 at 13:05 | vote | accept | Daniele Turchetti | ||
| Jun 7, 2010 at 13:05 | vote | accept | Daniele Turchetti | ||
| S Jun 7, 2010 at 13:05 | |||||
| Jun 6, 2010 at 18:10 | vote | accept | Daniele Turchetti | ||
| Jun 7, 2010 at 13:05 | |||||
| Jun 5, 2010 at 19:05 | answer | added | François G. Dorais | timeline score: 16 | |
| Jun 5, 2010 at 17:23 | answer | added | PersonX | timeline score: 9 | |
| Jun 5, 2010 at 16:28 | comment | added | darij grinberg | I don't know whether this is your goal, but if you are trying to do constructive algebra, then the trick is not to prove constructively the assertion that the nilradical is the intersection of all primes (this is impossible), but to (automatically?) rewrite every proof using this assertion into a proof that doesn't use it. Henri Lombardi and Thierry Coquand have written up examples of such rewriting. | |
| Jun 5, 2010 at 16:25 | vote | accept | Daniele Turchetti | ||
| Jun 5, 2010 at 16:25 | |||||
| Jun 5, 2010 at 16:11 | answer | added | Ryan Reich | timeline score: 8 | |
| Jun 5, 2010 at 16:06 | answer | added | Eric Rowell | timeline score: 2 | |
| Jun 5, 2010 at 15:53 | history | edited | François G. Dorais |
edited tags
|
|
| Jun 5, 2010 at 15:50 | history | asked | Daniele Turchetti | CC BY-SA 2.5 |