03C64 - Mathematical logic and foundations :: Model theory :: Model theory of ordered structures; o-minimality