Timeline for How to construct a constructive proof from a non-constructive proof using prime ideals?
Current License: CC BY-SA 3.0
2 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Sep 14, 2016 at 17:33 | comment | added | HeinrichD | Thank you. Can you say something about how to apply this method to the specific toy example of showing that the sum of two nilpotents is nilpotent? | |
| Sep 14, 2016 at 16:47 | history | answered | Henry Towsner | CC BY-SA 3.0 |