Skip to main content

Applications of model theory to real algebraic geometry

Part of the Lecture Notes in Mathematics book series (LNM,volume 1130)

Keywords

  • Prime Ideal
  • Separation Theorem
  • Coordinate Ring
  • Real Spectrum
  • Spectral Space

These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

This is a preview of subscription content, access via your institution.

Buying options

Chapter
USD   29.95
Price excludes VAT (Canada)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   54.99
Price excludes VAT (Canada)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   69.95
Price excludes VAT (Canada)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Atiyah, M. & Macdonald, I.G. Introduction to Commutative Algebra, Addison-Wesley Publ.Co. (1969).

    Google Scholar 

  2. Chenciner, A. Courbes Algebriques Planes, Publ.Math.Univ. Paris VII, (1980)

    Google Scholar 

  3. Hartshorne,R. Algebraic Geometry, Springer-Verlag (1977).

    Google Scholar 

  4. Jakobson,N. Lectures in Abstract Algebra, vol.III,Van Nostrand Inc., (1964).

    Google Scholar 

  5. _____ Basic Algebra, 2 vols. W.I. Freeman (1974).

    Google Scholar 

  6. Lafon, J.P. Anneaux Hensélines, Univ.Sao Paulo, (1968).

    Google Scholar 

  7. _____ Algebre Commutative, Hermann, Paris (1977).

    MATH  Google Scholar 

  8. Lang,S. Algebra, Addison-Wesley Publ.Co.,(1971).

    Google Scholar 

  9. Matsumura,H. Commutative Algebra, W.Benjamin (1970).

    Google Scholar 

  10. Mumford, D. Introduction to Algebraic Geometry, mimeographed.

    Google Scholar 

  11. Nagata, M. Local Rings, Interscience Publishers, (1962).

    Google Scholar 

  12. Raynaud,M. Anneaux Locaux Henséliens, Lect.Notes Math. 169 Springer-Verlag (1970).

    Google Scholar 

  13. Ribenboim, P. L’arithmétique des corps, Hermann, Paris (1972).

    MATH  Google Scholar 

  14. Shafarevich, I.R. Basic Algebraic Geometry, Springer-Verlag (1977).

    Google Scholar 

  15. Walker, R. Algebraic Curves, Springer-Verlag (1978).

    Google Scholar 

  16. Zariski, O. & Samuel, P. Commutative Algebra, 2 vols., Van Nostrand Inc., (1958), (1960).

    Google Scholar 

Analysis: basic texts

  1. Dieudonné, J. Foundations of Modern Analysis, Academic Press (1960).

    Google Scholar 

  2. Hörmander, L. Linear Partial Differential Operators, Springer-Verlag (1963).

    Google Scholar 

Hilbert’s 17th problem

  1. Artin, E. Uber die Zerlegung definiter Funktionen in Quadrate, Abh.Math.Sem.Univ.Hamburg 5(1927), pp. 100–115.

    CrossRef  MathSciNet  MATH  Google Scholar 

  2. Delzell, C. A constructive, continuous solution to Hilbert’s 17th problem and other results in semi-algebraic geometry, Doctoral dissertation, Stanford Univ. (1980).

    Google Scholar 

  3. McKenna, K. New facts about Hilbert’s seventeenth problem, in Model Theory and Algebra, A Memorial Tribute to A. Robinson, Lect.Notes Math 498(1975), pp. 220–230.

    CrossRef  MathSciNet  Google Scholar 

  4. Robinson, A. On ordered fields and definite functions. Math. Ann. 130(1955), pp. 257–271.

    CrossRef  MathSciNet  MATH  Google Scholar 

  5. _____ Further remarks on ordered fields and definite functions, Math.Ann. 130(1956), pp. 405–409.

    CrossRef  MathSciNet  MATH  Google Scholar 

Nash functions

  1. Artin, M. & Mazur, B. On periodic points, Ann. Math. 81(1965), pp. 82–99.

    CrossRef  MathSciNet  MATH  Google Scholar 

  2. Bochnak, J. & Efroymson, G. Real algebraic geometry and the 17th Hilbert problem, Math.Ann. 251(1980), pp.213–241.

    CrossRef  MathSciNet  MATH  Google Scholar 

  3. _____ An Introduction to Nash Functions, in [66], pp.41–54.

    Google Scholar 

  4. Efroymson, G. Substitution in Nash Functions. Pacific J.Math. 63(1973), pp. 137–145.

    CrossRef  MathSciNet  MATH  Google Scholar 

  5. Łojasiewicz, S. Ensembles semi-analytiques, mimeographed, I.H.E.S. (1965).

    Google Scholar 

  6. Nash, J. Real algebraic manifolds, Ann.Math. 56(1952)pp. 405–421.

    CrossRef  MathSciNet  MATH  Google Scholar 

  7. Palais,R. Equivariant, real algebraic, differential topology. I. Smothness categories and Nash manifolds, notes, Brandels Univ. (1972).

    Google Scholar 

  8. Risler, J.J. Sur l’anneau des fonctions de Nash globales, Ann.Sci.Ecole Norm.Sup. 8(1975), pp. 365–378.

    MathSciNet  MATH  Google Scholar 

  9. Roy,M.F. Faisceau structural sur le spectre réel et fonctions de Nash, in [66], pp. 406–432.

    Google Scholar 

Quantifier elimination; model theory

  1. Chang, C. C. & Keisler, H.J. Model Theory, North-Holland (1973).

    Google Scholar 

  2. Cohen, P.J. Decision procedures for real and p-adic fields, Comm.Pure Appl.Math. 22(1969), 131–151.

    CrossRef  MathSciNet  MATH  Google Scholar 

  3. Collins, G.E. Quantifier elimination for real closed fields by cylindrical algebraic decomposition, in Automata Theory and Formal Languages, 2nd G.I. Conf., Kaiserslautern (1975), Springer-Verlag pp. 134–184.

    Google Scholar 

  4. Fischer, M.J. & Rabin, M.O. Super-Exponential Complexity of Presburger’s Arithmetic, M.I.T. MAC Tech.Memo. 43, (1974).

    Google Scholar 

  5. Kreisel, G. & Krivine, J. L. Elements of Mathematical Logic (Model Theory) North-Holland Publ. Co., (1967).

    Google Scholar 

  6. Macintyre, A., McKenna, K. & van den Dries, L. Elimination of quantifiers in algebraic structures, Adv.Math. 47(1983), pp. 74–87.

    CrossRef  MathSciNet  MATH  Google Scholar 

  7. Monk, L. Effective-recursive decision procedures. Doctoral Dissertation, Univ. California, Berkeley (1975).

    Google Scholar 

  8. Tarski, A. A decision method for elementary algebra and geometry 2nd. revised ed., Berkeley, Los Angeles (1951).

    Google Scholar 

  9. van den Dries, L A linearly ordered ring whose theory admits quantifier elimination is a real closed field, Proc. Am.Math.Soc. 79(1980), pp. 97–100.

    CrossRef  MATH  Google Scholar 

Real closed fields; real commutative algebra

  1. Artin, E. & Schreier, O. Algebraische Konstruktion reeler Körper, Abh.Math.Sem.Univ.Hamburg 5(1926), pp. 85–99.

    CrossRef  MathSciNet  Google Scholar 

  2. _____ & _____ Eine Kennzeichnung der reell abgeschlossenen Korper, Abh.Math.Sem.Univ.Hamburg 5(1927), pp. 225–231.

    CrossRef  MathSciNet  Google Scholar 

  3. Colliot-Thélène, J.L. Variantes du Nullstellensätz réel et anneaux formellement réels, in [66], 98–108.

    Google Scholar 

  4. Dubois, D.W. A note on D.Harrison’s theory of preprimes, Pacific J.Math. 21(1967), pp. 15–19.

    CrossRef  MathSciNet  Google Scholar 

  5. _____ A nullstellensätz for ordered fields, Arkiv für Math. 8 (1969), pp. 111–114.

    CrossRef  MATH  Google Scholar 

  6. Dubois, D.W. & Efroymson, G. Algebraic theory of real varieties, in Studies and essays presented to Yu-Why Chen on his 60th birthday, Taiwan Univ. (1970).

    Google Scholar 

  7. Elman, R., Lam, T.Y. & Wadsworth, A. Orderings under field extensions, J.Reine Angew.Math. 306(1979), pp. 7–27.

    MathSciNet  MATH  Google Scholar 

  8. Gross, H. & Hafner, P. Über die Eindeutigkeit des reellen Abschlusses eine angeordneten Körpers, Comm.Math.Helvetici 44(1969), pp. 491–494.

    CrossRef  MathSciNet  MATH  Google Scholar 

  9. Knebusch, M. On the uniqueness of real closures and the existence of real places, Comm.Math.Helvetici 47(1972), pp. 260–269.

    CrossRef  MathSciNet  MATH  Google Scholar 

  10. Krivine, J.L. Anneaux préordonnés, J.Anal.Math. 21(1964), pp. 307–326.

    CrossRef  MathSciNet  MATH  Google Scholar 

  11. Lang, S. The theory of real places, Ann.Math. 57(1953), pp. 378–351.

    CrossRef  MathSciNet  MATH  Google Scholar 

  12. Lam, T.Y. The theory of ordered fields, in Ring Theory and Algebra III, B.McDonald (ed), M.Dekker, (1980), pp. 1–152.

    Google Scholar 

  13. Lam,T.Y. An introduction to real algebra, mimeographed, Univ.Calif.Berkeley (1983).

    Google Scholar 

  14. Prestel,A. Lectures on Formally Real Fields, IMPA, Rio de Janeiro (1975).

    Google Scholar 

  15. Ribenboim,P. Le thérème des zéros pour les corps ordonnés, in Sem.Alg.et Th.Nombres, Dubriel-Pisot, 24e année, 1970–71, exp. 17.

    Google Scholar 

  16. Risler, J.J. Une caráctérisation des idéaux des variétés algébriques réelles, C.R.A.S. (1970), pp. 1171–1173.

    Google Scholar 

  17. Stengle,G. A Nullstellensatz and a Positivestellensatz in semi-algebraic geometry, Math.Ann. (1974), pp. 87–97.

    Google Scholar 

Spectra

  1. Brocker,L. Real spectra and ditribution of signatures, in [66], pp. 249–272.

    Google Scholar 

  2. Carral, M. & Coste, M. Normal Spectral Spaces and their Dimensions, J. Pure Appl. Algebra 30(1983), pp. 227–235.

    CrossRef  MathSciNet  MATH  Google Scholar 

  3. Coste,M. & Coste-Roy,M.F. Spectre de Zariski et spectre réel: du cas classique an cas réel, mimeographed, Univ. Catholique Louvain, Rapport 82 (1979).

    Google Scholar 

  4. _____ La topologie du spectre réel in [74]. pp. 27–59.

    CrossRef  Google Scholar 

  5. Hochster, M. Prime ideal structure in commutative rings, Trans.Amer.Math.Soc. 142(1969), pp. 43–60.

    CrossRef  MathSciNet  MATH  Google Scholar 

  6. Knebusch,M. An invitation to real spectra, in Proc.Conf.Quadratic Forms. Hamilton, Ontario (1983) (To appear).

    Google Scholar 

Topology of semi-algebraic sets

  1. Brumfiel,G.W. Partially Ordered Rings and Semi-Algebraic Geometry. London Math.Soc.Lect.Notes 37(1979), Cambridge Univ. Press.

    Google Scholar 

  2. Colliot-Thélene,J.L. Coste,M., Mahé,L & Roy,M.F. (eds). Géométric Algébrique Réelle et Formes Quadratiques, Lect.Notes Math. 959, Springer-Verlag (1982).

    Google Scholar 

  3. Coste,M. Ensembles semi-algébriques et fonctions de Nash, Prépublications mathématiques 18(1981), Univ. Paris Nord.

    Google Scholar 

  4. _____ Ensembles semi-algébriques, in [66], 109–138.

    Google Scholar 

  5. Coste,M. & Coste-Roy,M.F. Topologies for real algebraic geometry, in Topos-Theoretic Methods in Geometry, A. Kock (ed). Aarhus Univ. (1979), pp. 37–100.

    Google Scholar 

  6. Delfs,H. Kohomologie affiner semi-algebraischer Räume, Doctoral dissertation, Univ. Regensburg (1980).

    Google Scholar 

  7. Delfs, H. & Knebusch, M. Semialgebraic topology over a real closed field. II.: Basic theory of semialgebraic spaces, Math. Zeit. 178(1981), pp. 175–213.

    CrossRef  MathSciNet  MATH  Google Scholar 

  8. Dickmann,M.A. Logique, algèbre réelle et géométrie réelle, manuscript notes, Univ. Paris VIII (1983) (To appear).

    Google Scholar 

  9. _____ Sur les ouverts semi-algébriques d’une clôture réelle, Portugalia Math. 40(1984).

    Google Scholar 

  10. Dubois, D.W. & Recio, T. (eds), Ordered fields and real algebraic geometry, Comtemporary Math. 8, Amer.Math.Soc. Providence, R.I. (1982).

    Google Scholar 

  11. Hardt, R. Semi-algebraic local triviality in semi-algebraic mappings, Amer.J.Math. 102 (1980), pp. 291–302.

    CrossRef  MathSciNet  MATH  Google Scholar 

  12. Houdebine, J. Lemme de séparation, mimeographed, Rennes (1980).

    Google Scholar 

  13. Mather,J. Stratifications and mappings, in Dinamical Systems, M.Peixoto (ed), Acad.Press (1973), pp. 195–232.

    Google Scholar 

  14. Recio,T. Una descomposición de un conjunto semialgebraico, Actas V Reunión de Matemáticos de Expresión Latina, Mallorca (1977).

    Google Scholar 

  15. Van den Dries, L. An application of a model-theoretic fact to (semi-) algebraic geometry, Indag.Math. 44(1982), pp. 397–401.

    MathSciNet  Google Scholar 

  16. Whitney, H. Elementary structure of real algebraic varieties, Ann. Math. 66(1957), pp. 545–556.

    CrossRef  MathSciNet  MATH  Google Scholar 

Various

  1. Becker,E. & Jacob,B. Rational points on algebraic varieties over a generalized real closed field: a model-theoretic approach, mimeographed (1983), 33 pp.

    Google Scholar 

  2. Cherlin, G. & Dickmann, M.A. Real Closed Rings. II: Model theory, Ann.Pure Appl.Logic 25(1983), pp.213–231.

    CrossRef  MathSciNet  MATH  Google Scholar 

  3. Dickmann, M.A. On polynomials over real closed rings, in Model Theory of Algebra and Arithmetic, L. Pacholski, J. Wierzejewski, A.J. Wilkie(eds), Lect.Notes Math. 834, Springer Verlag (1980), pp. 117–135.

    Google Scholar 

  4. Dickmann,M.A. A property of the continuous semi-algebraic functions defined on a real curve, (To appear).

    Google Scholar 

  5. Gillman, L.& Jerison,M. Rings of Continuous Functions, van Nostrand Reinhold Co. (1960).

    Google Scholar 

  6. Prestel,A. & Roquette,P. Formally p-adic Fields, Lect.Notes Math. 1050 Springer-Verlag (1984).

    Google Scholar 

  7. Van den Dries, L.Remarks on Tarski’s problem concerning < ℝ, +, •, exp >, manuscript (1981) pp.25.

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints and Permissions

Copyright information

© 1985 Springer-Verlag

About this paper

Cite this paper

Dickmann, M.A. (1985). Applications of model theory to real algebraic geometry. In: Di Prisco, C.A. (eds) Methods in Mathematical Logic. Lecture Notes in Mathematics, vol 1130. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0075308

Download citation

  • DOI: https://doi.org/10.1007/BFb0075308

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-15236-1

  • Online ISBN: 978-3-540-39414-3

  • eBook Packages: Springer Book Archive