Monotonicity theorem

A basic principle in tame geometry is that there are no pathological definable functions in o-minimal structures.   One precise sense in which this principle is true is given by the Monotonicity Theorem.

Monotonicity Theorem :  Let $f: R \to R$ be a definable function in some o-minimal structure $\mathfrak{R}$.  Then $f$ is piecewise continuous and is piecewise constant or strictly monotone.  That is, we can find $-\infty = a_0 < a_1 < \ldots < a_m = \infty$ so that for $0 \leq i < m$ the function $f \upharpoonright (a_i,a_{i+1})$ is continuous and constant, strictly increasing, or strictly decreasing.

Continue reading →

Posted in O-minimality learning seminar | Leave a comment

Introduction to o-minimality

For the most part, we will be following Lou van den Dries’ book Tame Topology and O-minimal Structures for this seminar.  We will supplement with material from reseach papers.  If there are specific theorems about o-minimality you would like to see this term, let me know.  Some possible topics include

Continue reading →

Posted in O-minimality learning seminar | Leave a comment

Model Theory Autumn 2024

We have two model theory seminars this semester, both of which meet in 891 Evans.

The Model Theory Research Seminar meets on Wednesdays, 4-5pm and a Learning Seminar on O-minimality meets those Tuesdays and Thursdays, 11am-12noon, when I am in town.

Posted in Uncategorized | Leave a comment