Skip to main content
SpringerLink
Log in

Applications of model theory to real algebraic geometry

  • Conference paper
  • First Online:
Methods in Mathematical Logic

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

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 54.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 69.95
Price excludes VAT (USA)
  • 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

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.

    Article  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.

    Article  MathSciNet  Google Scholar 

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

    Article  MathSciNet  MATH  Google Scholar 

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

    Article  MathSciNet  MATH  Google Scholar 

Nash functions

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

    Article  MathSciNet  MATH  Google Scholar 

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

    Article  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.

    Article  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.

    Article  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.

    Article  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.

    Article  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.

    Article  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.

    Article  MathSciNet  Google Scholar 

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

    Article  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.

    Article  MathSciNet  Google Scholar 

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

    Article  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.

    Article  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.

    Article  MathSciNet  MATH  Google Scholar 

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

    Article  MathSciNet  MATH  Google Scholar 

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

    Article  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.

    Article  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.

    Chapter  Google Scholar 

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

    Article  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.

    Article  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.

    Article  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.

    Article  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.

    Article  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

  1. CNRS — University of Paris VII, Paris, France

    M. A. Dickmann

Authors
  1. M. A. Dickmann
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Carlos Augusto Di Prisco

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

Publish with us

Policies and ethics

Search

Navigation