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
4 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Feb 18, 2010 at 6:27 | comment | added | user2734 | Thank you very much for your answer. While I am hoping for a "trick" using only commutative algebra, this is still very interesting! | |
| Feb 18, 2010 at 3:45 | history | edited | François G. Dorais | CC BY-SA 2.5 |
Added missing reference
|
| Feb 18, 2010 at 3:37 | comment | added | François G. Dorais | After seeing Pete's comment, a simpler approach is to first prove quantifier elimination and use model completeness. (Well, I don't know which is easiest between getting very crude effective bounds and proving quantifier elimination.) However, there is a small benefit of my brute force approach, namely that the Nullstellensatz is actually expressible in first-order logic. | |
| Feb 18, 2010 at 2:37 | history | answered | François G. Dorais | CC BY-SA 2.5 |