Timeline for Examples of Noetherian overkill
Current License: CC BY-SA 3.0
7 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Dec 9, 2016 at 11:49 | review | Suggested edits | |||
| Dec 9, 2016 at 11:57 | |||||
| Jan 10, 2016 at 22:56 | vote | accept | Arrow | ||
| Nov 24, 2015 at 12:28 | comment | added | Al-Amrani | Main theorems in Northcott's book, Finite Free Resolutions, are based on his theory of grade (Chap. 5). This way he avoided any Noetherianity hypothesis . | |
| Nov 22, 2015 at 21:25 | answer | added | Georges Elencwajg | timeline score: 13 | |
| Nov 22, 2015 at 13:06 | comment | added | François G. Dorais | (Continued:) That said, the "proof mining program" has been very successful at extracting constructive concepts and algorithms from classical theorems. This can be done "locally" to a certain extent but the outcome will not generally be the same as a full constructive development. | |
| Nov 22, 2015 at 13:03 | comment | added | François G. Dorais | I think the use of quotes around "the right statement" by Lombardi and Quitté is the key. Classical concepts like "noetherian" break down into several concepts that are classically equivalent but constructively inequivalent. So "the right statement" is not a well-defined thing, it's often a dozen different statements, each of which plays a different role in the constructive theory. To find "the right statement" is not a local problem and there is no easy substitute to a global constructive development such as that of Lombardi and Quitté. | |
| Nov 22, 2015 at 12:01 | history | asked | Arrow | CC BY-SA 3.0 |