# Questions tagged [o-minimal]

The o-minimal tag has no usage guidance.

19
questions

**3**

votes

**0**answers

82 views

### Comparing an integral to zero, by slicing and stacking

Let $f \colon [0,1] \rightarrow {\mathbb R}$ be a nice function -- real-analytic, or maybe definable in some o-minimal structure, let's say. Let $0 < \alpha_1 < \cdots < \alpha_n < 1$ be ...

**4**

votes

**2**answers

207 views

### Is the order arithmetic of the positive reals o-minimal?

Consider the structure of the positive real numbers $(0, \infty) $ with its unit $1$, its addition $+$, its multiplication $\times $, and its strict ordering $> $.
Is this structure
$$( (0, \infty)...

**14**

votes

**0**answers

322 views

### O-minimality and forcing

It is well-known that the structure $(\mathbb{R}, +, \cdot, <, 0, 1)$ is an o-minimal structure and hence the set of integers $\mathbb{Z}$ is not definable in it.
In an ongoing project with Will ...

**7**

votes

**1**answer

134 views

### Definable functions in $o$-minimal structures

Consider the field of real numbers $(\mathbb R,+,\cdot)$. An expansion of $(\mathbb R,+,\cdot)$ is a tuple $(\mathbb R,+,\cdot,S)$, where $S$ is a collection of subsets of $\mathbb R^n$ for $n \in \...

**2**

votes

**0**answers

104 views

### Classification of $n$-dimensional Nash-submanifolds of $\mathbb{R}^n$

Let $M,N\subset \mathbb{R}^n$ be two open semi-algebraic subsets, and assume that $M$ and $N$ are $C^\infty$ diffeomorphic, i.e. isomorphic as smooth submanifolds of $\mathbb{R}^n$. Does this imply ...

**2**

votes

**0**answers

51 views

### Unboundedness of number of solutions of intersection of bivariate polynomial with graph of function from an o-minimal structure

I am trying to understand a construction sketched in the paper by Gwozdziewicz, Kurdyka and Parusinski in the Proceedings of the AMS 1999 (paper here) and I'd like to request some help. The ...

**7**

votes

**0**answers

274 views

### Sheafs in O-minimal Structures

Let $\mathcal{N} = (N, <, \ldots)$ be an o-minimal structure and let $X \subset N^m$ be a definable set. Following the procedure stablished by Edmundo, Jones and Peatfield in "Sheaf cohomology in o-...

**14**

votes

**3**answers

687 views

### Undefinability of $\mathbb{Z}$ in the reals

It is a well-known fact that $\mathbb{Z}$ is not definable in the structure $\mathcal{R}=(\mathbb{R}, +, ., < , 0, 1)$. This follows from Tarski's quantifier elimination, and in fact, we can ...

**6**

votes

**1**answer

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

**4**

votes

**0**answers

141 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

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

**13**

votes

**1**answer

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

**8**

votes

**0**answers

141 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

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

**2**

votes

**0**answers

114 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

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

**7**

votes

**1**answer

388 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

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

**8**

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