Geometric categories and o-minimal structures
type: Item
instance of: scholarly article
title: Geometric categories and o-minimal structures
zbMATH Open document ID: 0889.03025
DOI: 10.1215/S0012-7094-96-08416-1
author: Lou van den Dries
author: Chris Miller
published in: Duke Mathematical Journal
publication date: 1996-10-22T00:00:00Z
review text: The theory of subanalytic sets is an excellent tool in various analytic-geometric contexts; see, for example, \textit{E. Bierstone} and \textit{P. D. Milman} [Publ. Math., Inst. Hautes Étud. Sci. 67, 5-42 (1988; Zbl 0674.32002)]. Regrettably, certain ``nice'' sets -- such as \(\{(x, x^r): x>0\}\) for positive irrational \(r\), and \(\{(x, e^{-1/x}): x>0\}\) -- are not subanalytic (at the origin) in \(\mathbb{R}^2\). Here we make available an extension of the category of subanalytic sets that has these sets among its objects and that behaves much like the category of subanalytic sets. The possibility of doing this emerged in 1991 when \textit{A. Wilkie} [J. Am. Math. Soc. 9, No. 4, 1051-1094 (1996)] proved that the real exponential field is ``model complete'', followed soon by work of Ressayre, Macintyre, Marker and the authors. However, there are two obstructions to the use by geometers of this development: (i) while the proofs in these articles make essential use of model theory, many results are also stated there (efficiently, but unnecessarily) in model-theoretic terms; (ii) the results of these papers apply directly only to the Cartesian spaces \(\mathbb{R}^n\), and not to arbitrary real analytic manifolds. Consequently, in order to carry out our goal, we recast here some results in those papers -- as well as many of their consequences -- in more familiar terms, with emphasis on results of a geometric nature, and allowing arbitrary (real analytic) manifolds as ambient spaces.
Mathematics Subject Classification ID: 03C60
Mathematics Subject Classification ID: 32B20
Mathematics Subject Classification ID: 14P99
zbMATH DE Number: 926955
zbMATH Keywords: o-minimality
zbMATH Keywords: extension of the category of subanalytic sets
zbMATH Keywords: real analytic manifolds
MaRDI profile type: Publication
cites work: Semianalytic and subanalytic sets
cites work: Q3770650
cites work: A generalization of the Tarski-Seidenberg theorem, and some nondefinability results
cites work: The elementary theory of restricted analytic fields with exponentiation
cites work: Logarithmic-Exponential Power Series
cites work: Extending Tamm's theorem
cites work: On the real exponential field with restricted analytic functions
cites work: Stratification of real analytic mappings and images
cites work: Semi-Algebraic Local-Triviality in Semi-Algebraic Mappings
cites work: Q3338537
cites work: Q3999005
cites work: Q3828280
cites work: Q4297408
cites work: Q4880698
cites work: Q4773093
cites work: Expansions of the real field with power functions
cites work: Exponentiation is Hard to Avoid
cites work: Infinite Differentiability in Polynomially Bounded O-Minimal Structures
cites work: Q3140641
cites work: Characteristic cycles of constructible sheaves
cites work: Nash manifolds
cites work: Q4843084
cites work: Subanalytic sets in the calculus of variation
cites work: Topologically Noetherian analytic algebras. Khovanskij's theory
cites work: Model completeness results for expansions of the ordered field of real numbers by restricted Pfaffian functions and the exponential function
full work available at URL: s0012-7094-96-08416-1
OpenAlex ID: W1996195522
description: scientific article; zbMATH DE number 926955