Patrick Speissegger
Let $\R$ be an o-minimal expansion of the real field. Definition A Rolle leaf over $\R$ is a Rolle leaf of a definable $(n-1)$-distribution on $\RR^n$, for some $n \in \NN$. Example The graph of $\exp$ is a Rolle leaf over $\bar\RR$. Exercise Let $C \subseteq M^n$ be a definable $C^1$-cell of dimension $m$, let…
Let $\M$ be an o-minimal expansion of a dense linear order $(M,\lt)$ with language $\la$. Definition Let $A \subseteq M$ and $\phi(x_1, \dots, x_n)$ be an $\la(A)$-formula, and set $S:= \phi(M^n)$. We define $$\dim_A S := \sup\set{\dim(s/A):\ \N \models \phi(s), \ \N \succ \M},$$ where $\dim(s/A)$ is defined in $\N$ as in this post. Note…
Let $\M$ be an o-minimal expansion of a dense linear order $(M,\lt)$, and let $n \in \NN$. We now prove the cell decomposition theorem by induction on $n$, assuming that $n \ge 2$ and that (I)$_{n-1}$ and (II)$_{n-1}$ hold. Proof of (I)$_n$. As in the proof of the decomposition theorem for planar sets, we may…
Let $\M$ be an o-minimal expansion of a dense linear order $(M,\lt)$, and let $n \in \NN$. Our goal is to prove the Cell Decomposition Theorem (Knight, Pillay and Steinhorn) (I)$_n$ Let $S_1, \dots, S_k \subseteq M^n$ be definable. Then there exists a cell decomposition $\C$ of $M^n$ compatible with each $S_i$. (II)$_n$ Let $f:S…
Let $\M$ be an o-minimal expansion of a dense linear order $(M,\lt)$, and let $n \in \NN$ be nonzero. Inspired by this post, we now make the following Definition Let $\sigma \in \{0,1\}^n$ and set $\sigma’:= \sigma \rest{\{0,1\}^{n-1}}$. We say that a definable set $C \subseteq M^n$ is a $\sigma$-cell whenever the following holds: if…