Model completeness results for expansions of the ordered field of real numbers by restricted Pfaffian functions and the exponential function

DOI10.1090/S0894-0347-96-00216-0zbMath0892.03013OpenAlexW1822440022WikidataQ59486600 ScholiaQ59486600MaRDI 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

zbMATH Keywords

exponential function dimension analytic functions model completeness o-minimal sub-analytic sets Pfaffian chain of functions

Mathematics Subject Classification ID

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 (only showing first 100 items - show all)

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

Cites Work

This page was built for publication: Model completeness results for expansions of the ordered field of real numbers by restricted Pfaffian functions and the exponential function