Geometric categories and o-minimal structures

DOI10.1215/S0012-7094-96-08416-1zbMath0889.03025OpenAlexW1996195522MaRDI QIDQ1922131

Chris Miller, L. P. D. van den Dries

Publication date: 22 October 1996

Published in: Duke Mathematical Journal (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1215/s0012-7094-96-08416-1

zbMATH Keywords

o-minimality real analytic manifolds extension of the category of subanalytic sets

Mathematics Subject Classification ID

Model-theoretic algebra (03C60) Semi-analytic sets, subanalytic sets, and generalizations (32B20) Real algebraic and real-analytic geometry (14P99)

Related Items (only showing first 100 items - show all)

Definable continuous mappings and Whyburn’s conjecture ⋮ A General Non-Lipschitz Infimal Convolution Regularized Model: Lower Bound Theory and Algorithm ⋮ Equidistribution of Hodge loci II ⋮ Stability of closedness of semi-algebraic sets under continuous semi-algebraic mappings ⋮ Smooth Approximations in PL Geometry ⋮ CONNECTEDNESS IN STRUCTURES ON THE REAL NUMBERS: O-MINIMALITY AND UNDECIDABILITY ⋮ Tangencies and polynomial optimization ⋮ Global convergence of the gradient method for functions definable in o-minimal structures ⋮ Lyapunov stability of the subgradient method with constant step size ⋮ Subgradient Sampling for Nonsmooth Nonconvex Minimization ⋮ An Improved Unconstrained Approach for Bilevel Optimization ⋮ Volumes of definable sets in o-minimal expansions and affine GAGA theorems ⋮ Constructible sheaves and functions up to infinity ⋮ Restricted log-exp-analytic power functions ⋮ Tameness of definably complete locally o‐minimal structures and definable bounded multiplication ⋮ On the image in the torus of sparse points on dilating analytic curves ⋮ Non‐archimedean stratifications of tangent cones ⋮ A convex function satisfying the Łojasiewicz inequality but failing the gradient conjecture both at zero and infinity ⋮ Orbifold Euler characteristics of non‐orbifold groupoids ⋮ Topology of functions with non-isolated stratified critical points ⋮ Growth of log-analytic functions ⋮ Conservative parametric optimality and the ridge method for tame min-max problems ⋮ On preparation theorems for R<sub>an, exp</sub>-definable functions ⋮ On continuous selections of polynomial functions ⋮ Generic Properties for Semialgebraic Programs ⋮ Expansions of the Real Field by Canonical Products ⋮ Tame topology of arithmetic quotients and algebraicity of Hodge loci ⋮ Algebraic intersection spaces ⋮ The six Grothendieck operations on o-minimal sheaves ⋮ Lectures on the Ax–Schanuel conjecture ⋮ Pfaffian Sets and O-minimality ⋮ Theorems of the Complement ⋮ A globally convergent algorithm for a class of gradient compounded non-Lipschitz models applied to non-additive noise removal ⋮ A dichotomy for expansions of the real field ⋮ Expansions of o-minimal structures by fast sequences ⋮ A strict Positivstellensatz for rings of definable analytic functions ⋮ On sparseness and Turing reducibility over the reals ⋮ Tangent spaces and Gromov-Hausdorff limits of subanalytic spaces ⋮ Corrigendum to “The Łojasiewicz exponent of a continuous subanalytic function at an isolated zero” ⋮ Globally subanalytic CMC surfaces in ℝ³ with singularities ⋮ Metric dimensions and tameness in expansions of the real field ⋮ CM RELATIONS IN FIBERED POWERS OF ELLIPTIC FAMILIES ⋮ LEAST STRATIFICATIONS AND CELL-STRUCTURED OBJECTS IN GEOMETRIC MODELLING ⋮ On Quasi-Newton Forward-Backward Splitting: Proximal Calculus and Convergence ⋮ Multivariate Puiseux Rings Induced by a Weierstrass System and Twisted Group Rings ⋮ Approximating functions on stratified sets ⋮ Definable Zero-Sum Stochastic Games ⋮ Volumes of sub-level sets and the decay of oscillatory integrals ⋮ A Bregman Forward-Backward Linesearch Algorithm for Nonconvex Composite Optimization: Superlinear Convergence to Nonisolated Local Minima ⋮ Quantifier elimination and rectilinearization theorem for generalized quasianalytic algebras ⋮ Clarke Subgradients for Directionally Lipschitzian Stratifiable Functions ⋮ A Superlinearly Convergent Smoothing Newton Continuation Algorithm for Variational Inequalities over Definable Sets ⋮ The Structure of Conservative Gradient Fields ⋮ Stratification Theory ⋮ An accelerated majorization-minimization algorithm with convergence guarantee for non-Lipschitz wavelet synthesis model ^* ⋮ Openness, Hölder Metric Regularity, and Hölder Continuity Properties of Semialgebraic Set-Valued Maps ⋮ Bounding the length of gradient trajectories ⋮ On the role of abnormal minimizers in sub-Riemannian geometry ⋮ Sheaves on \(\mathcal T\)-topologies ⋮ Łojasiewicz inequalities in o-minimal structures ⋮ A new approach to the proximal point method: convergence on general Riemannian manifolds ⋮ Stability and genericity for semi-algebraic compact programs ⋮ On the total curvatures of a tame function ⋮ Metric properties of semialgebraic mappings ⋮ Integration of oscillatory and subanalytic functions ⋮ Semialgebraic sets and the Łojasiewicz-Siciak condition ⋮ Markov's inequality and polynomial mappings ⋮ Algebraic and o-minimal flows on complex and real tori ⋮ Some classical analysis results for continuous definable mappings ⋮ Global convergence of model function based Bregman proximal minimization algorithms ⋮ Convergence of constant step stochastic gradient descent for non-smooth non-convex functions ⋮ Almost o-minimal structures and \(\mathfrak{X}\)-structures ⋮ Relative Pfaffian closure for definably complete Baire structures ⋮ Extending piecewise polynomial functions in two variables ⋮ Semi-algebraic functions have small subdifferentials ⋮ Genericity and Hölder stability in semi-algebraic variational inequalities ⋮ Transversality in variational analysis ⋮ The theorem of the complement for nested sub-Pfaffian sets ⋮ Siciak's extremal function of non-UPC cusps. I. ⋮ Approximation of o-minimal maps satisfying a Lipschitz condition ⋮ A game-theoretic approach to fault diagnosis and identification of hybrid systems ⋮ Finiteness property for generalized abelian integrals. ⋮ Stability under integration of sums of products of real globally subanalytic functions and their logarithms ⋮ Convergence of descent methods for semi-algebraic and tame problems: proximal algorithms, forward-backward splitting, and regularized Gauss-Seidel methods ⋮ Definability of restricted theta functions and families of abelian varieties ⋮ Infinitely Peano differentiable functions in polynomially bounded o-minimal structures ⋮ \(o\)-minimality and the André-Oort conjecture for \(\mathbb{C}^{n}\) ⋮ The value function approach to convergence analysis in composite optimization ⋮ Intrinsic curvatures in analytic-geometric categories ⋮ \(K\)-subanalytic rectilinearization and uniformization ⋮ Locally o-minimal structures ⋮ \(L^{\infty}\) cohomology is intersection cohomology ⋮ An iterative support shrinking algorithm for non-Lipschitz optimization in image restoration ⋮ Proximal point method on Finslerian manifolds and the ``effort-accuracy trade-off ⋮ Optimality, identifiability, and sensitivity ⋮ A Frank-Wolfe type theorem for nondegenerate polynomial programs ⋮ Differentiable roots, eigenvalues, and eigenvectors ⋮ The dimension of semialgebraic subdifferential graphs ⋮ Definable smoothing of continuous functions ⋮ A linear extension operator for Whitney fields on closed o-minimal sets

Cites Work

This page was built for publication: Geometric categories and o-minimal structures