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

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)

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

Cites work

scientific article; zbMATH DE number 3937151 (Why is no real title available?)
scientific article; zbMATH DE number 3940124 (Why is no real title available?)
scientific article; zbMATH DE number 3570747 (Why is no real title available?)
scientific article; zbMATH DE number 3997767 (Why is no real title available?)
scientific article; zbMATH DE number 3208810 (Why is no real title available?)
scientific article; zbMATH DE number 3053259 (Why is no real title available?)
Analytic Hardy Fields and Exponential Curves in the Real Plane
Definable Sets in Ordered Structures. I
Semi-Algebraic Local-Triviality in Semi-Algebraic Mappings
Simpliziale Zerlegung abzählbarer analytischer Räume

Cited in

(81)

Diophantine properties of sets definable in o-minimal structures
Surreal ordered exponential fields
Tame topology and Tarski-type systems
Diophantine approximations on definable sets
Whitney's extension problem in o-minimal structures
A dichotomy for \(T\)-convex fields with a monomial group
O-minimal flows on nilmanifolds
Computing strength of structures related to the field of real numbers
The appeals of quadratic majorization-minimization
Globally subanalytic CMC surfaces in ℝ³ with singularities
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
Special point problems with elliptic modular surfaces
Formalization, primitive concepts, and purity
Model theory of analytic functions: some historical comments
Differential equations over polynomially bounded o-minimal structures
On parametric nonlinear programming
Inexact half-quadratic optimization for linear inverse problems
Small sets in dense pairs
Critical points for least-squares problems involving certain analytic functions, with applications to sigmoidal nets
Generalizations of Tarski's fixed point theorem for order varieties of complete meet semilattices
Nondefinability results for expansions of the field of real numbers by the exponential function and by the restricted sine function
On the real exponential field with restricted analytic functions
The set of restricted complex exponents for expansions of the reals
Notes on local o-minimality
A superlinearly convergent smoothing Newton continuation algorithm for variational inequalities over definable sets
Inclusion dynamics hybrid automata
Extensions of Hilbert's tenth problem
Global convergence of the gradient method for functions definable in o-minimal structures
An algorithm for regular solutions of systems of exp-subanalytic equations and o-minimality of \(\mathbb{R}_{\text{an} , \exp}\)
Geometric categories and o-minimal structures
Integration of oscillatory and subanalytic functions
Integration on the surreals
Definable types in -minimal theories
On the number of hyperbolic Dehn fillings of a given volume
Global complexification of real analytic globally subanalytic functions
Rational points in periodic analytic sets and the Manin-Mumford conjecture
Expansions of the real field with power functions
Some unlikely intersections beyond André–Oort
A problem by E. Landis and generic behavior of non-generic sets
\(o\)-minimality and the André-Oort conjecture for \(\mathbb{C}^{n}\)
scientific article; zbMATH DE number 3924975 (Why is no real title available?)
scientific article; zbMATH DE number 3937151 (Why is no real title available?)
On the Pila-Wilkie theorem
A structure theorem for semibounded sets in the reals
Euler characteristic in semialgebraic and other o-minimal groups
Image completion and blind deconvolution: model and algorithm
The structure of Nash equilibria in Poisson games
Infinite Differentiability in Polynomially Bounded O-Minimal Structures
Reducts of some structures over the reals
Fusing o-minimal structures
The Dirichlet problem in the plane with semianalytic raw data, quasi analyticity, and o-minimal structure
Model completeness results for elliptic and abelian functions
Additive reducts of real closed fields
Transseries and Todorov-Vernaeve's asymptotic fields
Some nondefinability results with entire functions in a polynomially bounded o-minimal structure
One-dimensional groups 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
From samples to persistent stratified homotopy types
Hensel minimality: geometric criteria for \(\ell\)-h-minimality
Basics of o-minimality and Hardy fields
T-convexity and tame extensions
On smooth locally o-minimal functions
LEAST STRATIFICATIONS AND CELL-STRUCTURED OBJECTS IN GEOMETRIC MODELLING
On proper direct image in o-minimal expansions of groups
Extending Tamm's theorem
\(T\)-convex \(T\)-differential fields and their immediate extensions
On the model theory of the logarithmic function in compact Lie groups
On the image in the torus of sparse points on dilating analytic curves
An extension of Hölder's theorem on the Gamma function
Defining additive subgroups of the reals from convex subsets
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
First order tameness of measures

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)