An algebraic proof of a theorem of A. Robinson
HTML articles powered by AMS MathViewer
- by Robert Gilmer and Joe L. Mott PDF
- Proc. Amer. Math. Soc. 29 (1971), 461-466 Request permission
Abstract:
A. Robinson has used mathematical logic to obtain a theorem concerning systems of polynomial equations with only finitely many solutions; this paper contains an algebraic proof of Robinson’s theorem, based primarily on various equivalent forms of Hilbert’s Nullstellensatz.References
- Irving Kaplansky, Commutative rings, Allyn and Bacon, Inc., Boston, Mass., 1970. MR 0254021
- Masayoshi Nagata, Local rings, Interscience Tracts in Pure and Applied Mathematics, No. 13, Interscience Publishers (a division of John Wiley & Sons, Inc.), New York-London, 1962. MR 0155856 A. Rabinowitsch, Zum Hilbertschen Nullstellensatz, Math. Ann. 102 (1929), 520.
- Abraham Robinson, Introduction to model theory and to the metamathematics of algebra, North-Holland Publishing Co., Amsterdam, 1963. MR 0153570
- Bartel Leendert van der Waerden, Moderne Algebra, J. Springer, Berlin, 1940 (German). MR 0002841
- André Weil, Foundations of algebraic geometry, American Mathematical Society, Providence, R.I., 1962. MR 0144898
- Oscar Zariski, A new proof of Hilbert’s Nullstellensatz, Bull. Amer. Math. Soc. 53 (1947), 362–368. MR 20075, DOI 10.1090/S0002-9904-1947-08801-7
- Oscar Zariski and Pierre Samuel, Commutative algebra. Vol. II, The University Series in Higher Mathematics, D. Van Nostrand Co., Inc., Princeton, N.J.-Toronto-London-New York, 1960. MR 0120249
Additional Information
- © Copyright 1971 American Mathematical Society
- Journal: Proc. Amer. Math. Soc. 29 (1971), 461-466
- MSC: Primary 13.93
- DOI: https://doi.org/10.1090/S0002-9939-1971-0279090-7
- MathSciNet review: 0279090