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 50 items.

• The set of restricted complex exponents for expansions of the reals (Q435236) ‎ (← links)
• \(C\)-minimal fields, in honor of François Lucas (Q439226) ‎ (← 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)
• 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)
• 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)
• 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)
• O-minimal \(\Lambda ^{m}\)-regular stratification (Q2370374) ‎ (← links)
• On the expressiveness and decidability of o-minimal hybrid systems (Q2387414) ‎ (← 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)
• The Prospects for Mathematical Logic in the Twenty-First Century (Q2736583) ‎ (← links)
• 2001 Annual Meeting of the Association for Symbolic Logic (Q2778667) ‎ (← links)
• Conformal mapping of o-minimal corners (Q2907399) ‎ (← links)
• Model Theory of Analytic Functions: Some Historical Comments (Q2915887) ‎ (← links)
• Tame flows (Q3053918) ‎ (← links)