Timeline for To prove the Nullstellensatz, how can the general case of an arbitrary algebraically closed field be reduced to the easily-proved case of an uncountable algebraically closed field?
Current License: CC BY-SA 2.5
12 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Apr 13, 2017 at 12:58 | history | edited | CommunityBot |
replaced http://mathoverflow.net/ with https://mathoverflow.net/
|
|
| Jan 6, 2013 at 16:34 | answer | added | ACL | timeline score: 9 | |
| Feb 25, 2010 at 10:51 | vote | accept | user2734 | ||
| Feb 18, 2010 at 15:49 | answer | added | Emerton | timeline score: 17 | |
| Feb 18, 2010 at 6:27 | comment | added | user2734 | @PLC: Thank you very much for your comment. Given the context of the question in the homework assignment, I tend to believe (or at least to hope) that there is a proof from commutative algebra. Clearly, this should not be an obvious proof, but I am still hoping that someone familiar with Bernstein's work in other fields will come up with the proof. Less ambitiously, perhaps a student from that course will reveal the secret... | |
| Feb 18, 2010 at 5:52 | answer | added | BCnrd | timeline score: 23 | |
| Feb 18, 2010 at 4:44 | comment | added | Harry Gindi | Is there a non-model-theory approach? | |
| Feb 18, 2010 at 3:24 | comment | added | Qiaochu Yuan | It's possible that Bernstein had in mind a more direct reduction, although I can't imagine what it would look like. | |
| Feb 18, 2010 at 3:01 | comment | added | Pete L. Clark | It seems natural to try to use the model completeness of the theory of algebraically closed fields. But if you're going to use model theory, it seems to me that you might as well prove the Nullstellensatz outright, which is possible: see the accepted answer to mathoverflow.net/questions/9667/…. | |
| Feb 18, 2010 at 2:37 | answer | added | François G. Dorais | timeline score: 6 | |
| Feb 18, 2010 at 1:57 | answer | added | Joel David Hamkins | timeline score: 3 | |
| Feb 17, 2010 at 19:15 | history | asked | user2734 | CC BY-SA 2.5 |