Opportunities for the Mathematical Sciences

Bypass Navigation

Table of Contents
Preface
Summary Article
Individual Contributors
  Statistics as the information science
  Statistical issues for databases, the internet, and experimental data
  Mathematics in image processing, computer graphics, and computer vision
  Future challenges in analysis
  Getting inspiration from electrical engineering and computer graphics to develop interesting new mathematics
  Research opportunities in nonlinear partial differential equations
  Risk assessment for the solutions of partial differential equations
  Discrete mathematics for information technology
  Random matrix theory, quantum physics, and analytic number theory
  Mathematics in materials science
  Mathematical biology: analysis at multiple scales
  Number Theory and its Connections to Geometry and Analysis
  Revealing hidden values: inverse problems in science and industry
  Complex stochastic models for perception and inference
  Model theory and tame mathematics
  Beyond flatland: the future of space and time
  Mathematics in molecular biology and medicine
  The year 2000 in geometry and topology
  Computations and numerical simulations
  Numbers, insights and pictures: using mathematics and computing to understand mathematical models
List of Contributors with Affiliations


Model Theory and Tame Mathematics

A. Pillay

There are a number of ways in which modern logic affects mathematics, science and technology. This is maybe most obvious in the theory and practice of computation where the first rigorous models of computation were provided by the "recursion-theorists." One expects this to continue and deepen, especially at the level of software specification and verification.

Foundational studies throughout the twentieth century have given rise to many deep results showing the limits of mathematical reasoning. For example: there is no mechanical/effective way to enumerate all the truths of mathematics (Gödel), or even to decide whether an arbitrary system of polynomial equations over the integers has a solution in the integers (Matijasevich). Likewise the cardinality (size) of the set of real numbers can not be established within the accepted axioms of set theory (Gödel, Cohen). More generally, logic has pointed out many instances of wild, strange and pathological behavior in mathematics. There are still exciting developments in this genre, for example relating large cardinals to finite combinatorics and natural classes of functions.

However, I wish to discuss recent and possible future developments in model theory (a branch of mathematical logic) which have foundational imports of a rather different nature, in which general frameworks for understanding non-pathological behavior have been developed.

Abraham Robinson, who developed nonstandard analysis as well as the theory of model-completeness, was a pioneer of this kind of work. Other early work in this direction was Tarski's decision procedure for elementary Euclidean geometry [15]. This amounts to an effective procedure for deciding which (first order) statements about the structure (R, +, ) are true. A by-product of his work was an identification of those subsets of Rn which are "first order definable" using just + and , as the sets defined by polynomial equations and inequalities. A key consequence is that definable subsets of the real line itself are finite unions of intervals and points. This feature subsequently (in the 1980's) became the definition of an o-minimal structure on R [4], [12]. Any o-minimal structure on R gives rise to a family of spaces (the definable sets), which is quite robust under various topological/geometric operations, and has local triviality, stratification, and uniform finiteness properties [5]. This seems to exactly fit Grothendieck's suggestion (in [6]) of finding an axiomatic development of "tame topology" or "tame spaces," in which the wildness of general topology is excluded, and the "topological properties of the various geometrical shapes" are at the fore [6]. Currently there is even an area of "o-minimal economics" [13]. We should say that applications to economics, via nonstandard analysis, were already obtained by Abraham Robinson.

In the early nineties it was proved that the exponential function lives in an o-minimal structure on R [16]. An elaboration of this result led to the solution of an old conjecture of Hardy regarding the asymptotic behavior of certain functions on R [5]. The search is on to find ever more richer o-minimal structures on the reals, and one hope is to solve Hilbert's sixteenth problem on limit cycles of polynomial planar vector fields in the process.

Let us informally define tame mathematics to be that part (of mathematics) which is not subject to the Gödel phenomena mentioned in the second paragraph. As we have seen above, elementary Euclidean geometry and more generally o-minimal geometry is part of tame mathematics. In fact, so are the auxiliary structures which were invented or given by nature, and surround number theory (such as the field of complex numbers, the p-adic fields, and the finite fields). The internal development of model theory over the past thirty years (stability theory and the classification of first order theories, [14] and later [11]) has given rise to a host of techniques and notions which could serve as a basis for organizing principles for tame mathematics, as well as yielding new results. Among these is a fundamental dichotomy between linear and nonlinear behavior. It has been conjectured and proved in a certain tame axiomatic context that "nonlinear" or even "nonsmooth" behavior of definable sets in a structure is explained by the presence of a definable field and thus the full richness of algebraic geometry [7]. "Linear" behavior is associated typically with finiteness results, such as the Faltings theorem - Mordell conjecture that a general polynomial in two variables with coefficients from Q has only finitely many rational zeros. The model-theoretic dichotomy result mentioned above yields analogous results in positive characteristic for which no other proof is known [9].

The linear/nonlinear dichotomy is valid in a number of contexts, such as ordinary differential and difference equations, or rather their respective algebraic frameworks, differential and difference fields, yielding strong consequences of "non-integrability" ([8], [1], [2]). Extensions to the infinite-dimensional context of partial differential equations are being worked on. One also hopes and expects the power of the stability-theoretic analyses to become available for all the structures surrounding number theory, and directly for the "tame" parts of number theory itself.

I have been discussing model theory, but there are other areas of logic, in particular descriptive set theory and the recent program of classifying "singular spaces" by their definable cardinalities, which give rise to novel interactions with other areas of mathematics [10].

In summary, the end of the twentieth century has witnessed qualitatively different connections between logic (or metamathematics) and mathematics, opening up many exciting opportunities for the twenty-first century.

References

[1] A. Buium and A. Pillay, A gap theorem for abelian varieties over differential fields, Math. Research Letters, 1997. Back to Text
[2] Model theory of difference fields, Transactions of AMS, 1999. Back to Text
[3] L. van den Dries, Remarks on Tarski's problem concerning (R,+, ,exp), Logic Colloquium '82, North-Holland, 1984.
[4] L. van den Dries, Tame topology and o-minimal structures, Cambridge University Press, 1998. Back to Text
[5] L. van den Dries, A. Macintyre and D. Marker, Logarithmic exponential series, Journal of London Math. Soc. Back to Text
[6] A. Grothendieck, Esquisse d'un Programme, in Geometric Galois Actions 1, Cambridge University Press, 1997. Back to Text
[7] E. Hrushovski, The Mordell-Lang conjecture for function fields, Journal AMS, 1996. Back to Text
[8] E. Hrushovski and Z. Sokolovic, Minimal types in differentially closed fields, to appear in Transactions AMS. Back to Text
[9] E. Hrushovski and B. Zilber, Zariski geometries, Journal AMS, 1996. Back to Text
[10] A. Kechris, New directions in descriptive set theory, Bulletin of Symbolic Logic, 5(1999), 161-174 Back to Text
[11] A. Pillay, Geometric stability theory, Oxford University Press, 1996. Back to Text
[12] A. Pillay and C. Steinhorn, Definable sets in ordered structures, Bulletin AMS, 1984. Back to Text
[13] M.M. Richter and K-C Wong; Definable utility in o-minimal economics (to appear in Journal of Mathematical Economics) Back to Text
[14] S. Shelah, Classification theory and the number of non-isomorphic models, North-Holland, 1990. Back to Text
[15] A. Tarski, A decision method for elementary geometry and arithmetic, Rand Corporation, Berkeley and Los Angeles, 1951. Back to Text
[16] A. J. Wilkie, Model-completeness results for expansions of the real field by restricted Pfaffian functions and the exponential function, Journal AMS 9 (1996), 1051-1094. Back to Text

 

Last Modified:
Jan 24, 2013
 

Previous page | Top of this page | Next page

 

Policies and Important Links

|

Privacy | FOIA | Help | Contact NSF | Contact Web Master | SiteMap  

National Science Foundation

The National Science Foundation, 4201 Wilson Boulevard, Arlington, Virginia 22230, USA
Tel: (703) 292-5111, FIRS: (800) 877-8339 | TDD: (800) 281-8749

Last Updated:
01/24/13
Text Only