From discrete to continuous time (Q1177039)

In many textbooks of probability and statistics the study of stochastic processes is faced first taking into account discrete time results and then continuous ones. The same holds for many theorems about these processes that, as the author says, come in two similar forms: as ``easy'' discrete time result and as ``hard'' continuous time result. The author proves a general metatheorem which reduces a wide class of statements about continuous time processes to statements about discrete processes. This is done by introducing a strong language for stochastic processes, and a concept of forcing for sequences of discrete time processes. All this involves notions from nonstandard analysis. In the paper there are also some applications involving martingales. The reviewer's point of view is that this is a very interesting paper. The results presented are important. Finally, it is a good example of the utility of using logical notions in facing probability problems.