A generalization of the Tarski-Seidenberg theorem, and some nondefinability results
From MaRDI portal
(Redirected from Publication:3752365)
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
(85)- 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 ℝ3 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
- Monotone T-convex T-differential fields
- 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
- Equidistribution of polynomially bounded o-minimal curves in homogeneous spaces
- 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 -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
- Restricted analytic valued fields with partial exponentiation
- Riso-stratifications and a tree invariant
- 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)
