Model Theory of Stochastic Processes (Lecture Notes in Logic 14)