Pages that link to "Item:Q5687291"
From MaRDI portal
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 50 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)
- On the number of hyperbolic Dehn fillings of a given volume (Q3388489) (← 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)
- The canonical topology on dp-minimal fields (Q4562436) (← links)
- ON DEFINABLE SKOLEM FUNCTIONS IN WEAKLY O-MINIMAL NONVALUATIONAL STRUCTURES (Q4600465) (← links)
- SOLVABLE LIE GROUPS DEFINABLE IN O-MINIMAL THEORIES (Q4607251) (← links)
- Unifying Abstract Inexact Convergence Theorems and Block Coordinate Variable Metric iPiano (Q4624932) (← links)
- Surreal numbers with derivation, Hardy fields and transseries: a survey (Q4635370) (← 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)
- Cartan subgroups and regular points of o‐minimal groups (Q4973661) (← links)
- Models of true arithmetic are integer parts of models of real exponentation (Q4989722) (← links)
- Large families of elliptic curves ordered by conductor (Q4995462) (← links)
- O-Minimal Invariants for Discrete-Time Dynamical Systems (Q5002799) (← links)
- (Q5021008) (← links)
- Bounding the length of gradient trajectories (Q5028959) (← links)
- How Many Directions Determine a Shape and other Sufficiency Results for Two Topological Transforms (Q5052197) (← links)
- Equidistribution of Hodge loci II (Q5060155) (← links)
- (Q5079750) (← links)
- ASYMPTOTIC ANALYSIS OF SKOLEM’S EXPONENTIAL FUNCTIONS (Q5082063) (← links)
- Tame topology of arithmetic quotients and algebraicity of Hodge loci (Q5131067) (← links)
- The split torsor method for Manin’s conjecture (Q5147429) (← links)
- RAMSEY GROWTH IN SOME NIP STRUCTURES (Q5147670) (← links)
- Pillay's conjecture for groups definable in weakly o‐minimal non‐valuational structures (Q5153932) (← links)
- Multi-Instance Dimensionality Reduction via Sparsity and Orthogonality (Q5157277) (← links)
- Formal language properties of hybrid systems with strong resets (Q5190079) (← links)
- Value Groups and Residue Fields of Models of Real Exponentiation (Q5224153) (← links)
- MODEL COMPLETENESS OF O-MINIMAL FIELDS WITH CONVEX VALUATIONS (Q5251368) (← links)