o-minimal structures

o-minimal structures
Name	o-minimal structures
Field	Model theory
Introduced	1980s
Notable people	Lou van den Dries, Alex Wilkie, Saharon Shelah, Antonio J. Wilkie, Chris Miller, Janusz Pawlikowski, Sergei G. Voronin, J. Denef, L. van den Dries, Phillip Ehrlich

o-minimal structures o-minimal structures are a class of structures studied in model theory that provide a tame setting for subsets of ordered fields, particularly the real numbers. They originated in work connecting Tarski's decidability results, contributions by Alfred Tarski, and advances by Lou van den Dries and Alex Wilkie in the late 20th century. The theory draws on interactions with research groups at institutions such as University of Illinois Urbana–Champaign, University of Oxford, and Institut des Hautes Études Scientifiques.

Definition and basic properties

An o-minimal structure is defined on a dense linear order without endpoints, most commonly the ordered field of real numbers, by specifying a sequence of families of definable subsets of Cartesian powers satisfying closure under boolean operations, Cartesian products, projections, and containing graphs of addition and multiplication. Fundamental properties include cell decomposition and the finiteness of definable connected components, linking to work by Stephen Smale in topology and results of Wilkie and van den Dries in model theory. Stability-like phenomena contrast with classification theory developments by Saharon Shelah and relate to o-minimal expansions studied at Massachusetts Institute of Technology and Princeton University.

Examples and non-examples

Standard examples include the semialgebraic structure defined by the theory of real closed fields, which traces to Alexander Grothendieck's era and builds on Tarski's quantifier elimination. Subanalytic structures and expansions by restricted analytic functions connect to research by Hironaka and Heisuke Hironaka's resolution concepts. The expansion of the reals by the exponential function, central to Wilkie's theorem, yields an o-minimal structure under specific conditions; this interacts with conjectures influenced by André Weil and investigations at Cambridge University and Harvard University. Non-examples include arbitrary expansions by pathological subsets constructed via independence techniques related to work by Paul Cohen and forcing methods developed in connection with Kurt Gödel and Cohen's collaborators. Other non-examples arise from structures encoding the full arithmetic of integers, which ties into undecidability results linked to Hilbert's tenth problem and research at University of California, Berkeley.

Model-theoretic consequences

O-minimality implies strong model-theoretic tameness: definable sets admit cell decomposition, elimination of imaginaries in many contexts, and monotonicity theorems akin to results pursued by Michael O. Rabin in automata theory. Transfer principles connect o-minimal expansions with results from Ehrenfeucht–Fraïssé games and stability spectra studied by Morley and Shelah. Categoricity phenomena in uncountable cardinals are constrained, echoing investigations by Hyman Bass and Robert Vaught. Techniques employed include quantifier elimination strategies related to Tarski's work and compactness arguments used widely at Columbia University and University of Chicago.

Geometric and topological properties

Definable sets in an o-minimal structure behave like semialgebraic sets: they have finitely many connected components, admit triangulation results analogous to the work of René Thom, and satisfy dimension theory properties developed in the spirit of Benoît Mandelbrot's dimensional studies. The o-minimal setting facilitates definable stratifications reminiscent of Whitney stratifications studied by Hassler Whitney and produces tame topology results parallel to those of Jean Cerf and researchers at École Normale Supérieure. Morse-theoretic adaptations for definable functions connect with contributions by John Milnor and Raoul Bott.

Applications in real analytic and semialgebraic geometry

O-minimal methods have been applied to solve problems in semialgebraic geometry originally framed by Alexander Grothendieck and developed in conjunction with algebraic geometers at Institut Henri Poincaré and Max Planck Institute for Mathematics. They underpin results on Nash manifolds tied to work by John Nash and on analytic continuation problems studied by Henri Cartan and Jean-Pierre Serre. Applications extend to Diophantine geometry contexts influenced by Gerd Faltings and Pierre Deligne and to transcendence questions with links to research by Schanuel and collaborators at University of Cambridge.

Key results and theorems

Seminal results include Wilkie's theorem on the o-minimality of the real exponential field under specific hypotheses, cell decomposition theorems proved by Lou van den Dries and Alex Wilkie, and growth dichotomy theorems developed in collaborative work involving researchers at University of Illinois and University of California, Berkeley. Model completeness theorems and decidability results build on Tarski's quantifier elimination for real closed fields and on later generalizations pursued at Ohio State University and University of Michigan.

Variants and generalizations

Variants include weakly o-minimal structures studied in seminars at University of Oxford and dense pair frameworks analyzed by researchers affiliated with Universität Bonn and Université Paris-Sud. Expansions to p-adic settings and motivic analogues connect to research at Institute for Advanced Study and École Polytechnique and tie into motivic integration programs associated with Maxim Kontsevich and Jan Denef. Further generalizations intersect with work on NIP theories pursued by scholars at University of Chicago and University of California, Los Angeles.

Category:Model theory