Model theory

Harvard FAS

Model theory divides mathematical theories into regions where the geometry of definable sets shares common features. For example, algebraic equations involving an order have different geometry than differential equations. In the model theoretic ``map of the universe'' (see https://forkinganddividing.com/) different properties of definable sets have different names like NSOP, NIP, stable, etc. In particular, the theory of real closed fields is NIP but has SOP, and the theory of…