Pages that link to "Item:Q5687291"

The following pages link to Model completeness results for expansions of the ordered field of real numbers by restricted Pfaffian functions and the exponential function (Q5687291):

Displayed 37 items.

• Uniform model-completeness for the real field expanded by power functions (Q3066804) ‎ (← links)
• Expansions of o-minimal structures on the real field by trajectories of linear vector fields (Q3082301) ‎ (← links)
• On the decidability of the real field with a generic power function (Q3107362) ‎ (← links)
• Counting special points: Logic, diophantine geometry, and transcendence theory (Q3109807) ‎ (← links)
• Some unlikely intersections beyond André–Oort (Q3114531) ‎ (← links)
• Comparison of exponential-logarithmic and logarithmic-exponential series (Q3144872) ‎ (← links)
• The algebraic numbers definable in various exponential fields (Q3167453) ‎ (← links)
• SPECIAL POINT PROBLEMS WITH ELLIPTIC MODULAR SURFACES (Q3191151) ‎ (← links)
• Model completeness of o-minimal structures expanded by Dedekind cuts (Q3370753) ‎ (← links)
• <i>T</i>-height in weakly o-minimal structures (Q3410670) ‎ (← links)
• A remark on Zilber's pseudoexponentiation (Q3410673) ‎ (← links)
• Arithmetization of the field of reals with exponentiation extended abstract (Q3514637) ‎ (← links)
• Comparison theorems for o-minimal singular (co)homology (Q3522291) ‎ (← links)
• Singularities of o-minimal Peano derivatives (Q3567443) ‎ (← links)
• Cartan-decomposition subgroups of 𝑆𝑂(2,𝑛) (Q4429735) ‎ (← links)
• (Q4510744) ‎ (← links)
• Model Theory: Geometrical and Set-Theoretic Aspects and Prospects (Q4650297) ‎ (← links)
• (Q4668856) ‎ (← links)
• Basics of O-minimality and Hardy Fields (Q4898991) ‎ (← links)
• Construction of O-minimal Structures from Quasianalytic Classes (Q4898992) ‎ (← links)
• Pfaffian Sets and O-minimality (Q4898994) ‎ (← links)
• Topological differential fields and dimension functions (Q4899165) ‎ (← links)
• Definable linear orders definably embed into lexicographic orders in o-minimal structures (Q4910795) ‎ (← links)
• Definability in o-minimal expansions of the real numbers (Q4916197) ‎ (← links)
• On complex exponentiation restricted to the integers (Q4931101) ‎ (← links)
• Address at the Princeton University Bicentennial Conference on Problems of Mathematics (December 17–19, 1946), By Alfred Tarski (Q4953233) ‎ (← links)
• Formal language properties of hybrid systems with strong resets (Q5190079) ‎ (← links)
• MODEL COMPLETENESS OF O-MINIMAL FIELDS WITH CONVEX VALUATIONS (Q5251368) ‎ (← links)
• Model Theory in Algebra, Analysis and Arithmetic: A Preface (Q5256620) ‎ (← links)
• A construction of real closed fields (Q5258477) ‎ (← links)
• Definability results for the Poisson equation (Q5440748) ‎ (← links)
• Model theory of exponentials on Lie algebras (Q5458065) ‎ (← links)
• Book Review: The birth of model theory: Löwenheim’s theory in the frame of the theory of relatives (Q5494753) ‎ (← links)
• A note on divisible points of curves (Q5496631) ‎ (← links)
• Weak arithmetics (Q5941252) ‎ (← links)
• Weak arithmetic (Q5941732) ‎ (← links)
• Logarithmic-exponential series (Q5942884) ‎ (← links)