Hostname: page-component-cd9895bd7-jkksz Total loading time: 0 Render date: 2024-12-22T21:34:12.717Z Has data issue: false hasContentIssue false
  • English
  • Français

On the validity of hilbert's nullstellensatz, artin's theorem, and related results in grothendieck toposes

Published online by Cambridge University Press:  12 March 2014

W. A. MacCaull
W. A. MacCaull*
Affiliation:
St. Francis Xavier University, Antigonish, Nova Scotia B2G Ico, Canada
Get access Rights & Permissions [Opens in a new window]

Extract

Using formally intuitionistic logic coupled with infinitary logic and the completeness theorem for coherent logic, we establish the validity, in Grothendieck toposes, of a number of well-known, classically valid theorems about fields and ordered fields. Classically, these theorems have proofs by contradiction and most involve higher order notions. Here, the theorems are each given a first-order formulation, and this form of the theorem is then deduced using coherent or formally intuitionistic logic. This immediately implies their validity in arbitrary Grothendieck toposes. The main idea throughout is to use coherent theories and, whenever possible, find coherent formulations of formulas which then allow us to call upon the completeness theorem of coherent logic. In one place, the positive model-completeness of the relevant theory is used to find the necessary coherent formulas.

The theorems here deal with polynomials or rational functions (in s indeterminates) over fields. A polynomial over a field can, of course, be represented by a finite string of field elements, and a rational function can be represented by a pair of strings of field elements. We chose the approach whereby results on polynomial rings are reduced to results about the base field, because the theory of polynomial rings in s indeterminates over fields, although coherent, is less desirable from a model-theoretic point of view. Ultimately we are interested in the models.

This research was originally motivated by the works of Saracino and Weispfenning [SW], van den Dries [Dr], and Bunge [Bu], each of whom generalized some theorems from algebraic geometry or ordered fields to (commutative, von Neumann) regular rings (with unity).

Type
Research Article
Information
The Journal of Symbolic Logic , Volume 53 , Issue 4 , December 1988 , pp. 1177 - 1187
Copyright
Copyright © Association for Symbolic Logic 1988

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

REFERENCE

[Ba] Barwise, J., Admissible sets and structures, Springer Verlag, Berlin, 1975.CrossRefGoogle Scholar
[Bu] Bunge, M., On the transfer of an abstract Nullstellensatz, Communications in Algebra, vol. 10 (1982). pp. 1891–1906.CrossRefGoogle Scholar
[BR] Bunge, M. and Reyes, G., Boolean spectra and model completions, Fundamenta Mathematicae, vol. 113 (1981), pp. 165–173.CrossRefGoogle Scholar
[De 1] Delzell, C. N., Case distinctions are necessary for representing polynomials as sums of squares, Proceedings of the Herbrand Symposium (Stern, J., editor), North-Holland, Amsterdam, 1982, pp. 87–103.CrossRefGoogle Scholar
[De2] Delzell, C. N., A continuous, constructive solution to Hilbert's 17th problem, Inventiones Mathematicae, vol. 76 (1984), pp. 365–384.CrossRefGoogle Scholar
[Dr] van den Dries, L., Artin-Schreier theory for commutative regular rings, Annals of Mathematical Logic, vol. 12 (1977), pp. 113–150.CrossRefGoogle Scholar
[Du] Dubois, D. W., A Nullstellensatz for ordered fields, Arkiv für Matematik, vol. 8 (1969), pp. 111–114.CrossRefGoogle Scholar
[Fe] Feferman, S., Lectures on proof theory, Proceedings of the Summer School in Logic (Löb, M. H., editor), Lecture Notes in Mathematics, vol. 70, Springer-Verlag, Berlin, 1968, pp. 1–107.Google Scholar
[Fu] Fulton, W., Algebraic curves, Benjamin/Cummings Incorporated, Reading, Massachusetts, 1969.Google Scholar
[G] Goldblatt, R., Topoi, the categorical analysis of logic, rev. ed., Studies in Logic and the Foundations of Mathematics, vol. 98, North-Holland, Amsterdam, 1984.Google Scholar
[Ja] Jacobson, N., Lectures in abstract algebra, vol. 3, Van Nostrand, New York, 1964.CrossRefGoogle Scholar
[Jo] Johnstone, P., Rings, fields, and spectra, Journal of Algebra, vol. 49 (1977), pp. 238–260.Google Scholar
[K] Kleene, S. C., Introduction to metamathematics, North-Holland, Amsterdam, 1962.Google Scholar
[La] Lambert, W. M., A notion of effectiveness in algebraic structures, this Journal, vol. 33 (1967), pp. 577–602.Google Scholar
[MaC1] MacCaull, W. A., Applications of coherent and infinitary intuitionistic logic to von Neumann regular rings. Report No. 83–16, Department of Mathematics and Statistics, McGill University, Montréal, 1983.Google Scholar
[MaC2] MacCaull, W. A., Logical and sheaf theoretical methods in the study of geometric fields in sheaf toposes over Boolean spaces and applications to von Newmann regular rings, Ph.D. Dissertation, McGill University, Montréal, 1984.Google Scholar
[MaC3] MacCaull, W. A., Positive definite functions over regular f-rings and representations as sums of squares, Annals of Pure and Applied Logic (to appear).Google Scholar
[MaC4] MacCaull, W. A., Hilbert's Nullstellensatz revisited, Journal of Pure and Applied Algebra (to appear).Google Scholar
[Mai] Macintyre, A., Model completeness and sheaves of structures, Fundamenta Mathematicae, vol. 44 (1973), pp. 73–89.CrossRefGoogle Scholar
[MR] Makkai, M. and Reyes, G., First order categorical logic, Lecture Notes in Mathematics, vol. 611, Springer-Verlag, Berlin, 1977.CrossRefGoogle Scholar
[McK] McKenna, K., New facts about Hilbert's seventeenth problem, Model theory and algebra: a memorial tribute to Abraham Robinson (Saracino, D. and Weispfenning, V., editors), Lecture Notes in Mathematics, vol. 498, Springer-Verlag, Berlin, 1975, pp. 220–230.CrossRefGoogle Scholar
[R1] Robinson, A., Introduction to model theory and to the metamathematics of algebra, North-Holland, Amsterdam, 1963.Google Scholar
[R2] Robinson, A., On bounds in the theory of polynomial ideals, in his Selected Papers. Vol. I.: Model theory and algebra , Yale University Press, New Haven, Connecticut, 1979, pp. 482–489.Google Scholar
[SW] Saracino, D. and Weispfenning, V., On algebraic curves over commutative regular rings, Model theory and algebra: a memorial tribute to Abraham Robinson (Saracino, D. and Weispfenning, V., editors), Lecture Notes in Mathematics, vol. 498, Springer-Verlag, Berlin, 1975, pp. 307–383.CrossRefGoogle Scholar
[Se] Seidenberg, A., Constructions in algebra, Transactions of the American Mathematical Society, vol. 197 (1974), pp. 273–313.Google Scholar
[Sm] Smoryński, C., Elementary intuitionistic theories, this Journal, vol. 38 (1973), pp. 102–134.Google Scholar