The o-minimal tag has no usage guidance.

**6**

votes

**1**answer

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.)
...

**3**

votes

**0**answers

103 views

### Limits of definable maps

For sequences of semialgebraic maps there is the following result:
Let $(f_{n}: ]0,1[^d \to ]0,1[)_{n \in \mathbb{N}}$ be a sequence of continuous semialgebraic maps of bounded degree such that $(...

**6**

votes

**1**answer

116 views

### Are definable sets in an o-minimal expansion of the real field locally analytic?

I have a strong suspicion that yes, but as I am not a specialist in o-minimal structures, I thought that I might have overlooked some corner case.
The precise statement is as follows: let $X \subset ...

**12**

votes

**1**answer

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

**6**

votes

**0**answers

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

**7**

votes

**0**answers

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

**8**

votes

**1**answer

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

**1**

vote

**0**answers

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

**1**

vote

**1**answer

222 views

### Importance of Denjoy-Carleman classes as a class.

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(...

**6**

votes

**1**answer

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(...

**9**

votes

**2**answers

770 views

### Intuition behind o-minimal structures.

This is very much the same post as I posted at math.stackexchange.
I am following the definitions of an o-minimal system in "Tame Topology and O-minimal Structures" by Lou van den Dries.
It is ...

**7**

votes

**0**answers

2k views

### Why is definable compact equivalent to bounded and closed for sets with o-minimal structures?

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