Model completeness results for expansions of the ordered field of real numbers by restricted Pfaffian functions and the exponential function
From MaRDI portal
Publication:5687291
DOI10.1090/S0894-0347-96-00216-0zbMath0892.03013OpenAlexW1822440022MaRDI QIDQ5687291
Publication date: 11 December 1996
Published in: Journal of the American Mathematical Society (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1090/s0894-0347-96-00216-0
exponential functiondimensionanalytic functionsmodel completenesso-minimalsub-analytic setsPfaffian chain of functions
Model-theoretic algebra (03C60) Real-analytic and semi-analytic sets (14P15) Semi-analytic sets, subanalytic sets, and generalizations (32B20) Ordered fields (12J15) Model theory of fields (12L12) Valued fields (12J10)
Related Items
Definable continuous mappings and Whyburn’s conjecture, The algebraic numbers definable in various exponential fields, Unnamed Item, Value Groups and Residue Fields of Models of Real Exponentiation, How Many Directions Determine a Shape and other Sufficiency Results for Two Topological Transforms, Equidistribution of Hodge loci II, SPECIAL POINT PROBLEMS WITH ELLIPTIC MODULAR SURFACES, Cartan subgroups of groups definable in o-minimal structures, The canonical topology on dp-minimal fields, ASYMPTOTIC ANALYSIS OF SKOLEM’S EXPONENTIAL FUNCTIONS, Liouville closed \(H_T\)-fields, Global convergence of the gradient method for functions definable in o-minimal structures, Between the Rings $${\mathbb Z}/p^n{\mathbb Z}$$ and the Ring $${\mathbb Z}_p$$: Issues of Axiomatizability, Definability and Decidability, An Improved Unconstrained Approach for Bilevel Optimization, Volumes of definable sets in o-minimal expansions and affine GAGA theorems, Tameness of definably complete locally o‐minimal structures and definable bounded multiplication, What's decidable about discrete linear dynamical systems?, Certifying the Absence of Spurious Local Minima at Infinity, Tameness in geometry and arithmetic: beyond o-minimality, Hodge theory, between algebraicity and transcendence, Embedding the prime model of real exponentiation into o‐minimal exponential fields, Saturation-value based higher-order regularization for color image restoration, ON DEFINABLE SKOLEM FUNCTIONS IN WEAKLY O-MINIMAL NONVALUATIONAL STRUCTURES, Arithmetization of the field of reals with exponentiation extended abstract, Wilkie's conjecture for Pfaffian structures, SOLVABLE LIE GROUPS DEFINABLE IN O-MINIMAL THEORIES, Comparison theorems for o-minimal singular (co)homology, LOCAL INTERDEFINABILITY OF WEIERSTRASS ELLIPTIC FUNCTIONS, Unnamed Item, Tame topology of arithmetic quotients and algebraicity of Hodge loci, The six Grothendieck operations on o-minimal sheaves, An algorithm for regular solutions of systems of exp-subanalytic equations and o-minimality of ℝan,exp, Unifying Abstract Inexact Convergence Theorems and Block Coordinate Variable Metric iPiano, Surreal numbers with derivation, Hardy fields and transseries: a survey, Unnamed Item, The split torsor method for Manin’s conjecture, RAMSEY GROWTH IN SOME NIP STRUCTURES, Basics of O-minimality and Hardy Fields, Construction of O-minimal Structures from Quasianalytic Classes, Pfaffian Sets and O-minimality, Topological differential fields and dimension functions, Pillay's conjecture for groups definable in weakly o‐minimal non‐valuational structures, Multi-Instance Dimensionality Reduction via Sparsity and Orthogonality, Definable linear orders definably embed into lexicographic orders in o-minimal structures, Singularities of o-minimal Peano derivatives, Model Theory: Geometrical and Set-Theoretic Aspects and Prospects, Definability in o-minimal expansions of the real numbers, COMPUTING STRENGTH OF STRUCTURES RELATED TO THE FIELD OF REAL NUMBERS, On complex exponentiation restricted to the integers, Weak arithmetics, Weak arithmetic, Unnamed Item, Logarithmic-exponential series, Formal language properties of hybrid systems with strong resets, Tame flows, Definability results for the Poisson equation, Address at the Princeton University Bicentennial Conference on Problems of Mathematics (December 17–19, 1946), By Alfred Tarski, Cartan-decomposition subgroups of 𝑆𝑂(2,𝑛), Uniform model-completeness for the real field expanded by power functions, Model theory of exponentials on Lie algebras, Model completeness of o-minimal structures expanded by Dedekind cuts, Expansions of o-minimal structures on the real field by trajectories of linear vector fields, Cartan subgroups and regular points of o‐minimal groups, On the number of hyperbolic Dehn fillings of a given volume, Models of true arithmetic are integer parts of models of real exponentation, On the decidability of the real field with a generic power function, Counting special points: Logic, diophantine geometry, and transcendence theory, Book Review: The birth of model theory: Löwenheim’s theory in the frame of the theory of relatives, T-height in weakly o-minimal structures, A remark on Zilber's pseudoexponentiation, A note on divisible points of curves, Large families of elliptic curves ordered by conductor, Some unlikely intersections beyond André–Oort, O-Minimal Invariants for Discrete-Time Dynamical Systems, MODEL COMPLETENESS OF O-MINIMAL FIELDS WITH CONVEX VALUATIONS, Expansions of the real field by discrete subgroups of 𝐺𝑙_{𝑛}(ℂ), Model Theory in Algebra, Analysis and Arithmetic: A Preface, A construction of real closed fields, Comparison of exponential-logarithmic and logarithmic-exponential series, Bounding the length of gradient trajectories, Expansions of the real field with power functions, Sheaves on \(\mathcal T\)-topologies, Wilkie's conjecture for restricted elementary functions, Book review of: M. Aschenbrenner et al., Asymptotic differential algebra and model theory of transseries, A note on o-minimal flows and the Ax-Lindemann-Weierstrass theorem for semi-abelian varieties over \(\mathbb{C}\), O-minimal \(\Lambda ^{m}\)-regular stratification, Degrees of freedom for off-the-grid sparse estimation, Turing meets Schanuel, Extending Tamm's theorem, On the structure of nonarchimedean exponential fields. I, Conformal mapping of o-minimal corners, Pseudo-exponential maps, variants, and quasiminimality, Classifying torsion free groups in o-minimal expansions of real closed fields, Model Theory of Analytic Functions: Some Historical Comments, On the expressiveness and decidability of o-minimal hybrid systems, A Diophantine approach to the three and four exponentials conjectures, Definable functions and stratifications in power-bounded \(T\)-convex fields, On the Reeb spaces of definable maps, Toward a model theory for transseries, Geometric categories and o-minimal structures, The theorem of the complement for nested sub-Pfaffian sets, Approximation of o-minimal maps satisfying a Lipschitz condition, Definable functions in tame expansions of algebraically closed valued fields, A game-theoretic approach to fault diagnosis and identification of hybrid systems, On the Pila-Wilkie theorem, Reachability and connectivity queries in constraint databases, The field of reals with a predicate for the real algebraic numbers and a predicate for the integer powers of two, Finiteness property for generalized abelian integrals., Tameness, strings, and the distance conjecture, Multiplicities of Noetherian deformations, Taming the landscape of effective theories, Uniformization in superstructures over some extensions of \(\mathbb{R}\), Weighted o-minimal hybrid systems, The set of restricted complex exponents for expansions of the reals, \(C\)-minimal fields, in honor of François Lucas, Transseries and Todorov-Vernaeve's asymptotic fields, \(o\)-minimality and the André-Oort conjecture for \(\mathbb{C}^{n}\), Ax-Lindemann for \(\mathcal{A}_g\), On some global semianalytic sets, Directional properties of sets definable in o-minimal structures, Structure theorems for o-minimal expansions of groups, An effective version of Wilkie's theorem of the complement and some effective o-minimality results., O-minimal Hauptvermutung for polyhedra. I, Quantifier elimination for a class of exponential polynomial formulas, Hölder-Łojasiewicz inequalities for volumes of tame objects, Model completeness results for elliptic and abelian functions, Nonconvex TGV regularization model for multiplicative noise removal with spatially varying parameters, On smooth locally o-minimal functions, The surreal numbers as a universal \(H\)-field, Smooth parametrizations in dynamics, analysis, diophantine and computational geometry, Wu's method and the Khovanskii finiteness theorem, The Prospects for Mathematical Logic in the Twenty-First Century, Polynomial bounds for VC dimension of sigmoidal and general Pfaffian neural networks, Impossibility of extending Pólya's theorem to ``forms with arbitrary real exponents, Approximate versions of proximal iteratively reweighted algorithms including an extended IP-ICMM for signal and image processing problems, On a modular Fermat equation, Linearity of groups definable in o-minimal structures, What is o-minimality?, Aggregate operators in constraint query languages, Equivariant differential topology in an o-minimal expansion of the field of real numbers, The elementary theory of Dedekind cuts in polynomially bounded structures, Compression schemes, stable definable families, and o-minimal structures, The exponential-logarithmic equivalence classes of surreal numbers, Counting rational points on a certain exponential-algebraic surface, Integrability of oscillatory functions on local fields: transfer principles, 2001 Annual Meeting of the Association for Symbolic Logic, The rational points of a definable set, First order tameness of measures, Ax-Schanuel for Shimura varieties, Schubert calculus on the Grassmannian of Hermitian Lagrangian spaces, Existentially closed exponential fields, Vanishing homology, Inclusion dynamics hybrid automata, Definable smoothing of Lipschitz continuous functions, On freely generated \(E\)-subrings, Stochastic subgradient method converges on tame functions, On the number of topological types occurring in a parameterized family of arrangements, The Dirichlet problem in the plane with semianalytic raw data, quasi analyticity, and o-minimal structure, Weak Wu stratification in \(\mathbb{R}^n\), On gradients of functions definable in o-minimal structures, A.D. Taimanov and model theory in Kazakhstan, Cell decomposition and dimension function in the theory of closed ordered differential fields, Real root isolation for exp-log-arctan functions, Primary decomposition of lattice basis ideals, An application of Cartan's equivalence method to Hirschowitz's conjecture on the formal principle, The operator approach to entropy games, Isomorphism theorem for BSS recursively enumerable sets over real closed fields, Whitney's extension problem in o-minimal structures, ON THE MODEL THEORY OF THE LOGARITHMIC FUNCTION IN COMPACT LIE GROUPS, Intersection theory for o-minimal manifolds, Tropical varieties for exponential sums, \(\kappa\)-bounded exponential-logarithmic power series fields, Symbolic asymptotics: Multiseries of inverse functions, Saturation and stability in the theory of computation over the reals, The uniformization problem for \(\Sigma\)-predicates in a hereditarily finite list superstructure over the real exponential field, Properties of \(s\Sigma\)-reducibility, Geometric and o-minimal Littlewood-Offord problems, Decisiveness of stochastic systems and its application to hybrid models, Tame semiflows for piecewise linear vector fields, On damped second-order gradient systems
Cites Work
- \(p\)-adic and real subanalytic sets
- On the theory of the real exponential field
- A NOTE ON DECOMPOSITIONS OF RECURSIVELY ENUMERABLE SUBSPACES
- On the elementary theory of restricted elementary functions
- The limit behaviour of exponential terms
- A generalization of the Tarski-Seidenberg theorem, and some nondefinability results
- Definable Sets in Ordered Structures. I
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item