The following pages link to (Q3710508):
Displayed 33 items.
- \(o\)-minimality and the André-Oort conjecture for \(\mathbb{C}^{n}\) (Q640777) (← links)
- On the number of topological types occurring in a parameterized family of arrangements (Q1006392) (← links)
- On gradients of functions definable in o-minimal structures (Q1266237) (← links)
- Queries with arithmetical constraints (Q1391932) (← links)
- Definable utility in o-minimal structures. (Q1587385) (← links)
- Real spectrum of ring of definable functions (Q1764341) (← links)
- Extending Tamm's theorem (Q1891337) (← links)
- Strongly minimal groups in o-minimal structures (Q2039606) (← links)
- Decisiveness of stochastic systems and its application to hybrid models (Q2105467) (← links)
- On the Reeb spaces of definable maps (Q2167309) (← links)
- Structure theorems in tame expansions of o-minimal structures by a dense set (Q2204409) (← links)
- A.D. Taimanov and model theory in Kazakhstan (Q2306026) (← links)
- On the expressiveness and decidability of o-minimal hybrid systems (Q2387414) (← links)
- On some global semianalytic sets (Q2445512) (← links)
- O-minimal Hauptvermutung for polyhedra. I (Q2449842) (← links)
- The rational points of a definable set (Q2497197) (← links)
- On the Pila-Wilkie theorem (Q2674680) (← links)
- A generalization of the Tarski-Seidenberg theorem, and some nondefinability results (Q3752365) (← links)
- Definable Sets in Ordered Structures. I (Q3812217) (← links)
- Definable Sets in Ordered Structures. II (Q3812218) (← links)
- Exponentiation is Hard to Avoid (Q4311399) (← links)
- Weakly o-minimal structures and real closed fields (Q4505928) (← links)
- Globally subanalytic CMC surfaces in ℝ<sup>3</sup> with singularities (Q4965420) (← links)
- Convexity Relations and Generalizations of o-Minimality (Q5230797) (← links)
- CHARACTERIZING O-MINIMAL GROUPS IN TAME EXPANSIONS OF O-MINIMAL STRUCTURES (Q5854902) (← links)
- Hensel minimality I (Q5863759) (← links)
- Lattice ordered o-minimal structures (Q5937830) (← links)
- \(\text{P}\neq \text{NP}\) for the reals with various analytic functions (Q5938579) (← links)
- Symbolic reachability computation for families of linear vector fields (Q5945290) (← links)
- Global convergence of the gradient method for functions definable in o-minimal structures (Q6052062) (← links)
- Deciding first-order formulas involving univariate mixed trigonometric-polynomials (Q6060361) (← links)
- Decision problem for a class of univariate Pfaffian functions (Q6122406) (← links)
- On the set of reduced states of translation invariant, infinite quantum systems (Q6123420) (← links)