Abstract:

 A complete type p(x) is weakly o-minimal (wom) if there exists a relatively definable linear order < on its locus p(C) such that every relatively definable subset of the locus is a union of finitely many <-convex parts. In the talk, I will discuss several problems concerning this notion. These include a description of all relatively definable linear orders on p(C), appropriate Monotonicity theorems for functions relatively definable on p(C), and properties of the forking-dependence relation. Joint work with Predrag Tanović.

Zoom room: 717 463 6082