# Tagged Questions

The tag has no usage guidance.

157 views

### O-minimal spectrum is a spectral space

I'm trying to understand a proof on "Sheaves of Continuous Definable Functions" (Pillay, Anand. "Sheaves of continuous definable functions." The Journal of symbolic logic 53.04 (1988): 1165-1169.) ...
103 views

583 views

### What is the precise relationship between o-minimal theory and Grothendieck's “Esquisse d'un programme”?

I have seen various references in the literature to such a connection but they tend to assume that the reader is familiar with the connection, and limit themselves to providing additional detail. So ...
77 views

### local definability of geodesics in an o-minimal structure

Let $R$ be an o-minimal expansion of the reals, and let $(M,g)$ be a Riemannian manifold, such that $M$ and $g$ are definable in $R$. Let $\gamma: [0,1] \to M$ be a geodesic, i.e. a curve such that ...
106 views

### What classes of complex manifolds are known to be definable in an o-minimal expansion of the real field?

It is a widely known (perhaps slightly folkloric) fact that compact complex manifolds, understood as first-order structures with a predicate for each analytic subset, are definable in an expansion of ...
1k views

### If $f$ is $C^{\infty}$ and $f^2$ is analytic, then $f$ is analytic

Assume that $f:\mathbb{C}^n\rightarrow \mathbb{C}$ is a $C^{\infty}$ function such that $f^2$ is (complex) analytic. Then one can show that $f$ is analytic. (Note: Liviu Nicolaescu and Alexandre ...
98 views

### Representing quasianalytic functions in several variables

For functions in a quasianalytic Denjoy-Carleman class we have the property that their Taylor expansions at a point (the origin) determines the function. For classes that don't only contain analytic ...
222 views

Denjoy-Carleman classes of differentiable functions, say in Roumieu's form: Given a log-convex sequence $M_n$ of positive number denote by $C_M=C_M(\mathbb{R}^n,0)$ the ring of germs of $C^\infty(... 1answer 304 views ### Is there any o-minimal expansion of the real field with functions of growth higher than exponential? Let$\bar{\mathbb{R}}$be the structure of the real field, that is$(\mathbb{R},0,1,+,-,*,<)$. We say that a function$f$is of growth higher than exponential if for all$N\in \mathbb{N}$there$f(...
We have $M$ an o-minimal structure. $X \in M^n$ with the induced topology. I'm reading an article which shows that $X \in M^n$ is definable compact is equivalent to $X$ being bounded and closed. ...