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):
Displaying 50 items.
- Pseudo-exponential maps, variants, and quasiminimality (Q1643324) (← links)
- The surreal numbers as a universal \(H\)-field (Q1737977) (← links)
- Weak Wu stratification in \(\mathbb{R}^n\) (Q1808668) (← links)
- Intersection theory for o-minimal manifolds (Q1840458) (← links)
- Tame semiflows for piecewise linear vector fields (Q1864228) (← links)
- Extending Tamm's theorem (Q1891337) (← links)
- On the structure of nonarchimedean exponential fields. I (Q1893230) (← links)
- Geometric categories and o-minimal structures (Q1922131) (← links)
- Structure theorems for o-minimal expansions of groups (Q1964148) (← links)
- Approximate versions of proximal iteratively reweighted algorithms including an extended IP-ICMM for signal and image processing problems (Q1987437) (← links)
- Integrability of oscillatory functions on local fields: transfer principles (Q2017077) (← links)
- Existentially closed exponential fields (Q2022772) (← links)
- Geometric and o-minimal Littlewood-Offord problems (Q2105141) (← links)
- Decisiveness of stochastic systems and its application to hybrid models (Q2105467) (← links)
- Degrees of freedom for off-the-grid sparse estimation (Q2137058) (← links)
- On the Reeb spaces of definable maps (Q2167309) (← links)
- Definable functions in tame expansions of algebraically closed valued fields (Q2182044) (← links)
- Hölder-Łojasiewicz inequalities for volumes of tame objects (Q2231157) (← links)
- The exponential-logarithmic equivalence classes of surreal numbers (Q2264115) (← links)
- Ax-Schanuel for Shimura varieties (Q2273996) (← links)
- Stochastic subgradient method converges on tame functions (Q2291732) (← links)
- A.D. Taimanov and model theory in Kazakhstan (Q2306026) (← links)
- An application of Cartan's equivalence method to Hirschowitz's conjecture on the formal principle (Q2320604) (← links)
- The operator approach to entropy games (Q2321934) (← links)
- Whitney's extension problem in o-minimal structures (Q2329583) (← links)
- The uniformization problem for \(\Sigma\)-predicates in a hereditarily finite list superstructure over the real exponential field (Q2342296) (← links)
- Properties of \(s\Sigma\)-reducibility (Q2342330) (← links)
- On damped second-order gradient systems (Q2351985) (← links)
- Wilkie's conjecture for restricted elementary functions (Q2364597) (← links)
- O-minimal \(\Lambda ^{m}\)-regular stratification (Q2370374) (← links)
- On the expressiveness and decidability of o-minimal hybrid systems (Q2387414) (← links)
- A Diophantine approach to the three and four exponentials conjectures (Q2397077) (← links)
- Transseries and Todorov-Vernaeve's asymptotic fields (Q2436606) (← links)
- Ax-Lindemann for \(\mathcal{A}_g\) (Q2445318) (← links)
- On some global semianalytic sets (Q2445512) (← links)
- Directional properties of sets definable in o-minimal structures (Q2445519) (← links)
- O-minimal Hauptvermutung for polyhedra. I (Q2449842) (← links)
- The elementary theory of Dedekind cuts in polynomially bounded structures (Q2488270) (← links)
- The rational points of a definable set (Q2497197) (← links)
- \(\kappa\)-bounded exponential-logarithmic power series fields (Q2570138) (← links)
- Turing meets Schanuel (Q2630828) (← links)
- Definable functions and stratifications in power-bounded \(T\)-convex fields (Q2656213) (← links)
- On the Pila-Wilkie theorem (Q2674680) (← links)
- Tameness, strings, and the distance conjecture (Q2682177) (← links)
- Taming the landscape of effective theories (Q2686318) (← links)
- The Prospects for Mathematical Logic in the Twenty-First Century (Q2736583) (← links)
- 2001 Annual Meeting of the Association for Symbolic Logic (Q2778667) (← links)
- ON THE MODEL THEORY OF THE LOGARITHMIC FUNCTION IN COMPACT LIE GROUPS (Q2847702) (← links)
- Conformal mapping of o-minimal corners (Q2907399) (← links)
- Model Theory of Analytic Functions: Some Historical Comments (Q2915887) (← links)
