Mathematical logic, model theory, O-minimality, Connections between model theory and algebraic or topological structures, such as algebraically-closed fields, real-closed fields, Lie groups etc.