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

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 42 #7642. MR 0272761 (42:7642)
  • [2] G. Efroymson, Local reality, Univ. of New Mexico, Technical Report Nr. 257, 1972.
  • [3] J.-J. Risler, Un théorème des zéros en géométrie analytique réele, C. R. Acad. Sci. Paris Ser. A-B 274 (1972), A1488-A1490. MR 45 #3754. MR 0294686 (45:3754)
  • [4] A. 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 38 #4723. MR 0236427 (38:4723)
  • [5] -, Non-standard analysis, North-Holland, Amsterdam, 1966. MR 34 #5680. MR 0205854 (34:5680)
  • [6] -, Introduction to model theory and to the metamathematics of algebra, North-Holland, Amsterdam, 1963. MR 27 #3533. MR 0153570 (27:3533)
  • [7] A. Seidenberg, Some remarks on Hilbert's Nullstellensatz, Arch. Math. 7 (1956), 235-240. MR 18, 469. MR 0081929 (18:469c)
  • [8] A. Tarski and J. C. C. McKinsey, A decision method for elementary algebra and geometry, 2nd ed., Berkeley and Los Angeles, 1948/1951. MR 0044472 (13:423a)
  • [9] O. Zariski and P. Samuel, Commutative algebra. Vol. II, University Ser. in Higher Math., Van Nostrand, Princeton, N. J., 1960. MR 22 #11006. MR 0120249 (22:11006)

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

American Mathematical Society