Remote Access Transactions of the American Mathematical Society
Green Open Access

Transactions of the American Mathematical Society

ISSN 1088-6850(online) ISSN 0002-9947(print)



Two model theoretic proofs of Rückert's Nullstellensatz

Author: Volker Weispfenning
Journal: Trans. Amer. Math. Soc. 203 (1975), 331-342
MSC: Primary 02H25; Secondary 14A25, 26A90, 32B10
MathSciNet review: 0369060
Full-text PDF Free Access

Abstract | References | Similar Articles | Additional Information

Abstract: Rückert's Nullstellensatz for germs of analytic functions and its analogue for germs of real analytic functions are proved by a combination of nonstandard analysis with a model theoretic transfer principle. It is also shown that Rückert's Nullstellensatz is constructive essentially relative to the Weierstrass preparation theorem.

References [Enhancements On Off] (What's this?)

  • [1] D. W. Dubois, A nullstellensatz for ordered fields, Ark. Mat. 8 (1969), 111–114. MR 0272761
  • [2] G. Efroymson, Local reality, Univ. of New Mexico, Technical Report Nr. 257, 1972.
  • [3] Jean-Jacques Risler, Un théorème des zéros en géométrie analytique réelle, C. R. Acad. Sci. Paris Sér. A-B 274 (1972), A1488–A1490 (French). MR 0294686
  • [4] Abraham Robinson, Germs, Applications of Model Theory to Algebra, Analysis, and Probability (Internat. Sympos., Pasadena, Calif., 1967) Holt, Rinehart and Winston, New York, 1969, pp. 138–149. MR 0236427
  • [5] Abraham Robinson, Non-standard analysis, North-Holland Publishing Co., Amsterdam, 1966. MR 0205854
  • [6] Abraham Robinson, Introduction to model theory and to the metamathematics of algebra, North-Holland Publishing Co., Amsterdam, 1963. MR 0153570
  • [7] A. Seidenberg, Some remarks on Hilbert’s Nullstellensatz, Arch. Math. (Basel) 7 (1956), 235–240. MR 0081929
  • [8] Alfred Tarski, A decision method for elementary algebra and geometry, University of California Press, Berkeley and Los Angeles, Calif., 1951. 2nd ed. MR 0044472
  • [9] 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

Similar Articles

Retrieve articles in Transactions of the American Mathematical Society with MSC: 02H25, 14A25, 26A90, 32B10

Retrieve articles in all journals with MSC: 02H25, 14A25, 26A90, 32B10

Additional Information

Keywords: Rückert's Nullstellensatz, nonstandard germs of analytic and real analytic functions, transfer principle
Article copyright: © Copyright 1975 American Mathematical Society