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.
- Sheaves on \(\mathcal T\)-topologies (Q267158) (← links)
- Classifying torsion free groups in o-minimal expansions of real closed fields (Q324255) (← links)
- Toward a model theory for transseries (Q372613) (← links)
- Approximation of o-minimal maps satisfying a Lipschitz condition (Q386146) (← links)
- A game-theoretic approach to fault diagnosis and identification of hybrid systems (Q391104) (← links)
- The set of restricted complex exponents for expansions of the reals (Q435236) (← links)
- \(C\)-minimal fields, in honor of François Lucas (Q439226) (← links)
- Quantifier elimination for a class of exponential polynomial formulas (Q480651) (← links)
- On smooth locally o-minimal functions (Q491440) (← links)
- Smooth parametrizations in dynamics, analysis, diophantine and computational geometry (Q495854) (← links)
- On a modular Fermat equation (Q520757) (← links)
- Linearity of groups definable in o-minimal structures (Q522675) (← links)
- The theorem of the complement for nested sub-Pfaffian sets (Q605912) (← links)
- Weighted o-minimal hybrid systems (Q636266) (← links)
- \(o\)-minimality and the André-Oort conjecture for \(\mathbb{C}^{n}\) (Q640777) (← links)
- Nonconvex TGV regularization model for multiplicative noise removal with spatially varying parameters (Q667778) (← links)
- Polynomial bounds for VC dimension of sigmoidal and general Pfaffian neural networks (Q676431) (← links)
- Aggregate operators in constraint query languages (Q696963) (← links)
- Equivariant differential topology in an o-minimal expansion of the field of real numbers (Q697618) (← links)
- First order tameness of measures (Q714724) (← links)
- Definable smoothing of Lipschitz continuous functions (Q733335) (← links)
- Real root isolation for exp-log-arctan functions (Q765861) (← links)
- Tropical varieties for exponential sums (Q785323) (← links)
- The field of reals with a predicate for the real algebraic numbers and a predicate for the integer powers of two (Q892142) (← links)
- Multiplicities of Noetherian deformations (Q896998) (← links)
- Uniformization in superstructures over some extensions of \(\mathbb{R}\) (Q904315) (← links)
- Impossibility of extending Pólya's theorem to ``forms'' with arbitrary real exponents (Q949641) (← links)
- What is o-minimality? (Q958486) (← links)
- Compression schemes, stable definable families, and o-minimal structures (Q972602) (← links)
- Counting rational points on a certain exponential-algebraic surface (Q978565) (← links)
- Schubert calculus on the Grassmannian of Hermitian Lagrangian spaces (Q984877) (← links)
- Vanishing homology (Q987193) (← links)
- Inclusion dynamics hybrid automata (Q999262) (← links)
- On freely generated \(E\)-subrings (Q1004472) (← links)
- On the number of topological types occurring in a parameterized family of arrangements (Q1006392) (← links)
- The Dirichlet problem in the plane with semianalytic raw data, quasi analyticity, and o-minimal structure (Q1012323) (← links)
- Cell decomposition and dimension function in the theory of closed ordered differential fields (Q1023052) (← links)
- Model completeness results for elliptic and abelian functions (Q1182466) (← links)
- Wu's method and the Khovanskii finiteness theorem (Q1186731) (← links)
- On gradients of functions definable in o-minimal structures (Q1266237) (← links)
- Symbolic asymptotics: Multiseries of inverse functions (Q1300629) (← links)
- Saturation and stability in the theory of computation over the reals (Q1304539) (← links)
- Expansions of the real field with power functions (Q1326770) (← links)
- Reachability and connectivity queries in constraint databases (Q1394800) (← links)
- Finiteness property for generalized abelian integrals. (Q1395359) (← links)
- An effective version of Wilkie's theorem of the complement and some effective o-minimality results. (Q1428036) (← links)
- Primary decomposition of lattice basis ideals (Q1569834) (← links)
- Isomorphism theorem for BSS recursively enumerable sets over real closed fields (Q1575912) (← links)
- Book review of: M. Aschenbrenner et al., Asymptotic differential algebra and model theory of transseries (Q1621512) (← links)
- A note on o-minimal flows and the Ax-Lindemann-Weierstrass theorem for semi-abelian varieties over \(\mathbb{C}\) (Q1624909) (← links)
