A generalization of the Tarski-Seidenberg theorem, and some nondefinability results

DOI10.1090/S0273-0979-1986-15468-6zbMATH Open0612.03008MaRDI QIDQ3752365FDOQ3752365

Publication date: 1986

Published in: Bulletin of the American Mathematical Society (Search for Journal in Brave)

Recommendations

Tame topology and Tarski-type systems
scientific article; zbMATH DE number 3937151
Nondefinability results for expansions of the field of real numbers by the exponential function and by the restricted sine function
Definability in o-minimal expansions of the real numbers
Undefinability results in o-minimal expansions of the real numbers

exponential function definable subsets semialgebraic sets 0-minimal Tarski systems closure under definability finitely subanalytic sets in \(R^ m\)piecewise linear sets polynomial growth property of semialgebraic functions semialgebraic subset of \(R^ m\)topological finiteness phenomena

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Models of other mathematical theories (03C65)

Cites Work

Title not available (Why is that?)
Definable Sets in Ordered Structures. I
Title not available (Why is that?)
Title not available (Why is that?)
Title not available (Why is that?)
Semi-Algebraic Local-Triviality in Semi-Algebraic Mappings
Title not available (Why is that?)
Title not available (Why is that?)
Simpliziale Zerlegung abzählbarer analytischer Räume
Analytic Hardy Fields and Exponential Curves in the Real Plane

Cited In (81)

Tame topology and Tarski-type systems
Whitney's extension problem in o-minimal structures
Diophantine approximations on definable sets
O-minimal flows on nilmanifolds
On the elementary theory of restricted elementary functions
Rational points on analytic varieties
Model completeness results for expansions of the ordered field of real numbers by restricted Pfaffian functions and the exponential function
Quasi-analyticity, o-minimality and quantifier elimination.
An Institution-independent Generalization of Tarski's Elementary Chain Theorem
Smooth functions in o-minimal structures
\(K\)-subanalytic rectilinearization and uniformization
Differential equations over polynomially bounded o-minimal structures
On parametric nonlinear programming
Small sets in dense pairs
Critical points for least-squares problems involving certain analytic functions, with applications to sigmoidal nets
Nondefinability results for expansions of the field of real numbers by the exponential function and by the restricted sine function
Generalizations of Tarski's fixed point theorem for order varieties of complete meet semilattices
Notes on local o-minimality
On the real exponential field with restricted analytic functions
The set of restricted complex exponents for expansions of the reals
Inclusion dynamics hybrid automata
Extensions of Hilbert's tenth problem
Geometric categories and o-minimal structures
Definable types in -minimal theories
Integration of oscillatory and subanalytic functions
On the number of hyperbolic Dehn fillings of a given volume
Rational points in periodic analytic sets and the Manin-Mumford conjecture
Global complexification of real analytic globally subanalytic functions
Expansions of the real field with power functions
Some unlikely intersections beyond André–Oort
SPECIAL POINT PROBLEMS WITH ELLIPTIC MODULAR SURFACES
\(o\)-minimality and the André-Oort conjecture for \(\mathbb{C}^{n}\)
Title not available (Why is that?)
SURREAL ORDERED EXPONENTIAL FIELDS
Title not available (Why is that?)
On the Pila-Wilkie theorem
A structure theorem for semibounded sets in the reals
Infinite Differentiability in Polynomially Bounded O-Minimal Structures
Euler characteristic in semialgebraic and other o-minimal groups
Image completion and blind deconvolution: model and algorithm
Reducts of some structures over the reals
The structure of Nash equilibria in Poisson games
The Dirichlet problem in the plane with semianalytic raw data, quasi analyticity, and o-minimal structure
Additive reducts of real closed fields
Transseries and Todorov-Vernaeve's asymptotic fields
Model completeness results for elliptic and abelian functions
One-dimensional groups definable in o-minimal structures
Some nondefinability results with entire functions in a polynomially bounded o-minimal structure
T-convexity and tame extensions
The six Grothendieck operations on o-minimal sheaves
On smooth locally o-minimal functions
Extending Tamm's theorem
Inexact Half-Quadratic Optimization for Linear Inverse Problems
\(T\)-convex \(T\)-differential fields and their immediate extensions
FORMALIZATION, PRIMITIVE CONCEPTS, AND PURITY
Defining additive subgroups of the reals from convex subsets
COMPUTING STRENGTH OF STRUCTURES RELATED TO THE FIELD OF REAL NUMBERS
An extension of Hölder's theorem on the Gamma function
Uniform model-completeness for the real field expanded by power functions
Expansions of o-minimal structures on the real field by trajectories of linear vector fields
On Pillay's conjecture in the general case
Avoiding the projective hierarchy in expansions of the real field by sequences
A Superlinearly Convergent Smoothing Newton Continuation Algorithm for Variational Inequalities over Definable Sets
First order tameness of measures
Diophantine properties of sets definable in o-minimal structures
A dichotomy for \(T\)-convex fields with a monomial group
The appeals of quadratic majorization-minimization
Globally subanalytic CMC surfaces in ℝ³ with singularities
Model theory of analytic functions: some historical comments
Basics of O-minimality and Hardy Fields
Global convergence of the gradient method for functions definable in o-minimal structures
Integration on the surreals
A problem by E. Landis and generic behavior of non-generic sets
Fusing o-minimal structures
Mini-workshop: Topological and differential expansions of o-minimal structures. Abstracts from the mini-workshop held November 27 -- December 3, 2022
From samples to persistent stratified homotopy types
Hensel minimality: geometric criteria for \(\ell\)-h-minimality
LEAST STRATIFICATIONS AND CELL-STRUCTURED OBJECTS IN GEOMETRIC MODELLING
On proper direct image in o-minimal expansions of groups
On the image in the torus of sparse points on dilating analytic curves
On the model theory of the logarithmic function in compact Lie groups

This page was built for publication: A generalization of the Tarski-Seidenberg theorem, and some nondefinability results

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3752365)