A generalization of the Tarski-Seidenberg theorem, and some nondefinability results
From MaRDI portal
Publication:3752365
DOI10.1090/S0273-0979-1986-15468-6zbMath0612.03008MaRDI QIDQ3752365
Publication date: 1986
Published in: Bulletin of the American Mathematical Society (Search for Journal in Brave)
exponential functiondefinable subsetssemialgebraic sets0-minimal Tarski systemsclosure under definabilityfinitely subanalytic sets in \(R^ m\)piecewise linear setspolynomial growth property of semialgebraic functionssemialgebraic subset of \(R^ m\)topological finiteness phenomena
Decidability of theories and sets of sentences (03B25) Models of other mathematical theories (03C65)
Related Items
Expansions of the real field with power functions, One-dimensional groups definable in o-minimal structures, Euler characteristic in semialgebraic and other o-minimal groups, Extending Tamm's theorem, Global complexification of real analytic globally subanalytic functions, Reducts of some structures over the reals, Defining additive subgroups of the reals from convex subsets, Integration of oscillatory and subanalytic functions, An extension of Hölder's theorem on the Gamma function, Model Theory of Analytic Functions: Some Historical Comments, Diophantine properties of sets definable in o-minimal structures, SPECIAL POINT PROBLEMS WITH ELLIPTIC MODULAR SURFACES, Definable types in -minimal theories, The structure of Nash equilibria in Poisson games, On the elementary theory of restricted elementary functions, T-convexity and tame extensions, Extensions of Hilbert's tenth problem, Geometric categories and o-minimal structures, Image completion and blind deconvolution: model and algorithm, Critical points for least-squares problems involving certain analytic functions, with applications to sigmoidal nets, On the Pila-Wilkie theorem, Global convergence of the gradient method for functions definable in o-minimal structures, Mini-workshop: Topological and differential expansions of o-minimal structures. Abstracts from the mini-workshop held November 27 -- December 3, 2022, On the image in the torus of sparse points on dilating analytic curves, \(T\)-convex \(T\)-differential fields and their immediate extensions, The set of restricted complex exponents for expansions of the reals, Transseries and Todorov-Vernaeve's asymptotic fields, \(o\)-minimality and the André-Oort conjecture for \(\mathbb{C}^{n}\), \(K\)-subanalytic rectilinearization and uniformization, Model completeness results for expansions of the ordered field of real numbers by restricted Pfaffian functions and the exponential function, The six Grothendieck operations on o-minimal sheaves, Rational points in periodic analytic sets and the Manin-Mumford conjecture, Model completeness results for elliptic and abelian functions, On smooth locally o-minimal functions, Basics of O-minimality and Hardy Fields, Diophantine approximations on definable sets, Nondefinability results for expansions of the field of real numbers by the exponential function and by the restricted sine function, On Pillay's conjecture in the general case, FORMALIZATION, PRIMITIVE CONCEPTS, AND PURITY, Infinite Differentiability in Polynomially Bounded O-Minimal Structures, Smooth functions in o-minimal structures, COMPUTING STRENGTH OF STRUCTURES RELATED TO THE FIELD OF REAL NUMBERS, First order tameness of measures, Quasi-analyticity, o-minimality and quantifier elimination., On parametric nonlinear programming, Inexact Half-Quadratic Optimization for Linear Inverse Problems, Uniform model-completeness for the real field expanded by power functions, Inclusion dynamics hybrid automata, Fusing o-minimal structures, Avoiding the projective hierarchy in expansions of the real field by sequences, Globally subanalytic CMC surfaces in ℝ3 with singularities, The Dirichlet problem in the plane with semianalytic raw data, quasi analyticity, and o-minimal structure, Expansions of o-minimal structures on the real field by trajectories of linear vector fields, On the number of hyperbolic Dehn fillings of a given volume, LEAST STRATIFICATIONS AND CELL-STRUCTURED OBJECTS IN GEOMETRIC MODELLING, Notes on local o-minimality, O-minimal flows on nilmanifolds, Some unlikely intersections beyond André–Oort, Some nondefinability results with entire functions in a polynomially bounded o-minimal structure, Small sets in dense pairs, Whitney's extension problem in o-minimal structures, ON THE MODEL THEORY OF THE LOGARITHMIC FUNCTION IN COMPACT LIE GROUPS, A Superlinearly Convergent Smoothing Newton Continuation Algorithm for Variational Inequalities over Definable Sets, SURREAL ORDERED EXPONENTIAL FIELDS, On the real exponential field with restricted analytic functions, Rational points on analytic varieties, Differential equations over polynomially bounded o-minimal structures
Cites Work
