Keywords
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, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Atiyah, M. & Macdonald, I.G. Introduction to Commutative Algebra, Addison-Wesley Publ.Co. (1969).
Chenciner, A. Courbes Algebriques Planes, Publ.Math.Univ. Paris VII, (1980)
Hartshorne,R. Algebraic Geometry, Springer-Verlag (1977).
Jakobson,N. Lectures in Abstract Algebra, vol.III,Van Nostrand Inc., (1964).
_____ Basic Algebra, 2 vols. W.I. Freeman (1974).
Lafon, J.P. Anneaux Hensélines, Univ.Sao Paulo, (1968).
_____ Algebre Commutative, Hermann, Paris (1977).
Lang,S. Algebra, Addison-Wesley Publ.Co.,(1971).
Matsumura,H. Commutative Algebra, W.Benjamin (1970).
Mumford, D. Introduction to Algebraic Geometry, mimeographed.
Nagata, M. Local Rings, Interscience Publishers, (1962).
Raynaud,M. Anneaux Locaux Henséliens, Lect.Notes Math. 169 Springer-Verlag (1970).
Ribenboim, P. L’arithmétique des corps, Hermann, Paris (1972).
Shafarevich, I.R. Basic Algebraic Geometry, Springer-Verlag (1977).
Walker, R. Algebraic Curves, Springer-Verlag (1978).
Zariski, O. & Samuel, P. Commutative Algebra, 2 vols., Van Nostrand Inc., (1958), (1960).
Analysis: basic texts
Dieudonné, J. Foundations of Modern Analysis, Academic Press (1960).
Hörmander, L. Linear Partial Differential Operators, Springer-Verlag (1963).
Hilbert’s 17th problem
Artin, E. Uber die Zerlegung definiter Funktionen in Quadrate, Abh.Math.Sem.Univ.Hamburg 5(1927), pp. 100–115.
Delzell, C. A constructive, continuous solution to Hilbert’s 17th problem and other results in semi-algebraic geometry, Doctoral dissertation, Stanford Univ. (1980).
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.
Robinson, A. On ordered fields and definite functions. Math. Ann. 130(1955), pp. 257–271.
_____ Further remarks on ordered fields and definite functions, Math.Ann. 130(1956), pp. 405–409.
Nash functions
Artin, M. & Mazur, B. On periodic points, Ann. Math. 81(1965), pp. 82–99.
Bochnak, J. & Efroymson, G. Real algebraic geometry and the 17th Hilbert problem, Math.Ann. 251(1980), pp.213–241.
_____ An Introduction to Nash Functions, in [66], pp.41–54.
Efroymson, G. Substitution in Nash Functions. Pacific J.Math. 63(1973), pp. 137–145.
Łojasiewicz, S. Ensembles semi-analytiques, mimeographed, I.H.E.S. (1965).
Nash, J. Real algebraic manifolds, Ann.Math. 56(1952)pp. 405–421.
Palais,R. Equivariant, real algebraic, differential topology. I. Smothness categories and Nash manifolds, notes, Brandels Univ. (1972).
Risler, J.J. Sur l’anneau des fonctions de Nash globales, Ann.Sci.Ecole Norm.Sup. 8(1975), pp. 365–378.
Roy,M.F. Faisceau structural sur le spectre réel et fonctions de Nash, in [66], pp. 406–432.
Quantifier elimination; model theory
Chang, C. C. & Keisler, H.J. Model Theory, North-Holland (1973).
Cohen, P.J. Decision procedures for real and p-adic fields, Comm.Pure Appl.Math. 22(1969), 131–151.
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.
Fischer, M.J. & Rabin, M.O. Super-Exponential Complexity of Presburger’s Arithmetic, M.I.T. MAC Tech.Memo. 43, (1974).
Kreisel, G. & Krivine, J. L. Elements of Mathematical Logic (Model Theory) North-Holland Publ. Co., (1967).
Macintyre, A., McKenna, K. & van den Dries, L. Elimination of quantifiers in algebraic structures, Adv.Math. 47(1983), pp. 74–87.
Monk, L. Effective-recursive decision procedures. Doctoral Dissertation, Univ. California, Berkeley (1975).
Tarski, A. A decision method for elementary algebra and geometry 2nd. revised ed., Berkeley, Los Angeles (1951).
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.
Real closed fields; real commutative algebra
Artin, E. & Schreier, O. Algebraische Konstruktion reeler Körper, Abh.Math.Sem.Univ.Hamburg 5(1926), pp. 85–99.
_____ & _____ Eine Kennzeichnung der reell abgeschlossenen Korper, Abh.Math.Sem.Univ.Hamburg 5(1927), pp. 225–231.
Colliot-Thélène, J.L. Variantes du Nullstellensätz réel et anneaux formellement réels, in [66], 98–108.
Dubois, D.W. A note on D.Harrison’s theory of preprimes, Pacific J.Math. 21(1967), pp. 15–19.
_____ A nullstellensätz for ordered fields, Arkiv für Math. 8 (1969), pp. 111–114.
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).
Elman, R., Lam, T.Y. & Wadsworth, A. Orderings under field extensions, J.Reine Angew.Math. 306(1979), pp. 7–27.
Gross, H. & Hafner, P. Über die Eindeutigkeit des reellen Abschlusses eine angeordneten Körpers, Comm.Math.Helvetici 44(1969), pp. 491–494.
Knebusch, M. On the uniqueness of real closures and the existence of real places, Comm.Math.Helvetici 47(1972), pp. 260–269.
Krivine, J.L. Anneaux préordonnés, J.Anal.Math. 21(1964), pp. 307–326.
Lang, S. The theory of real places, Ann.Math. 57(1953), pp. 378–351.
Lam, T.Y. The theory of ordered fields, in Ring Theory and Algebra III, B.McDonald (ed), M.Dekker, (1980), pp. 1–152.
Lam,T.Y. An introduction to real algebra, mimeographed, Univ.Calif.Berkeley (1983).
Prestel,A. Lectures on Formally Real Fields, IMPA, Rio de Janeiro (1975).
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.
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.
Stengle,G. A Nullstellensatz and a Positivestellensatz in semi-algebraic geometry, Math.Ann. (1974), pp. 87–97.
Spectra
Brocker,L. Real spectra and ditribution of signatures, in [66], pp. 249–272.
Carral, M. & Coste, M. Normal Spectral Spaces and their Dimensions, J. Pure Appl. Algebra 30(1983), pp. 227–235.
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).
_____ La topologie du spectre réel in [74]. pp. 27–59.
Hochster, M. Prime ideal structure in commutative rings, Trans.Amer.Math.Soc. 142(1969), pp. 43–60.
Knebusch,M. An invitation to real spectra, in Proc.Conf.Quadratic Forms. Hamilton, Ontario (1983) (To appear).
Topology of semi-algebraic sets
Brumfiel,G.W. Partially Ordered Rings and Semi-Algebraic Geometry. London Math.Soc.Lect.Notes 37(1979), Cambridge Univ. Press.
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).
Coste,M. Ensembles semi-algébriques et fonctions de Nash, Prépublications mathématiques 18(1981), Univ. Paris Nord.
_____ Ensembles semi-algébriques, in [66], 109–138.
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.
Delfs,H. Kohomologie affiner semi-algebraischer Räume, Doctoral dissertation, Univ. Regensburg (1980).
Delfs, H. & Knebusch, M. Semialgebraic topology over a real closed field. II.: Basic theory of semialgebraic spaces, Math. Zeit. 178(1981), pp. 175–213.
Dickmann,M.A. Logique, algèbre réelle et géométrie réelle, manuscript notes, Univ. Paris VIII (1983) (To appear).
_____ Sur les ouverts semi-algébriques d’une clôture réelle, Portugalia Math. 40(1984).
Dubois, D.W. & Recio, T. (eds), Ordered fields and real algebraic geometry, Comtemporary Math. 8, Amer.Math.Soc. Providence, R.I. (1982).
Hardt, R. Semi-algebraic local triviality in semi-algebraic mappings, Amer.J.Math. 102 (1980), pp. 291–302.
Houdebine, J. Lemme de séparation, mimeographed, Rennes (1980).
Mather,J. Stratifications and mappings, in Dinamical Systems, M.Peixoto (ed), Acad.Press (1973), pp. 195–232.
Recio,T. Una descomposición de un conjunto semialgebraico, Actas V Reunión de Matemáticos de Expresión Latina, Mallorca (1977).
Van den Dries, L. An application of a model-theoretic fact to (semi-) algebraic geometry, Indag.Math. 44(1982), pp. 397–401.
Whitney, H. Elementary structure of real algebraic varieties, Ann. Math. 66(1957), pp. 545–556.
Various
Becker,E. & Jacob,B. Rational points on algebraic varieties over a generalized real closed field: a model-theoretic approach, mimeographed (1983), 33 pp.
Cherlin, G. & Dickmann, M.A. Real Closed Rings. II: Model theory, Ann.Pure Appl.Logic 25(1983), pp.213–231.
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.
Dickmann,M.A. A property of the continuous semi-algebraic functions defined on a real curve, (To appear).
Gillman, L.& Jerison,M. Rings of Continuous Functions, van Nostrand Reinhold Co. (1960).
Prestel,A. & Roquette,P. Formally p-adic Fields, Lect.Notes Math. 1050 Springer-Verlag (1984).
Van den Dries, L.Remarks on Tarski’s problem concerning < ℝ, +, •, exp >, manuscript (1981) pp.25.
Author information
Authors and Affiliations
Editor information
Rights 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