This paper is part of the constructive program, initiated by E. Bishop, of systematic examination of classical mathematics for their computational content. From this constructive standpoint, basic concepts in probability theory are studied. Positive proofs are then given to some important theorems: Ionescu-Tulcea's theorem, a submartingale convergence theorem, and the construction of a Markov process from a strongly continuous semi-group of transition operators.
Publié le : 1974-02-14
Classification:
Constructive analysis,
construction of Markov processes,
sample regularity of Markov processes with strongly continuous semi-groups,
convergence of submartingales.,
60J25,
60G45,
02E99
@article{1176996751,
author = {Chan, Y. K.},
title = {Notes on Constructive Probability Theory},
journal = {Ann. Probab.},
volume = {2},
number = {6},
year = {1974},
pages = { 51-75},
language = {en},
url = {http://dml.mathdoc.fr/item/1176996751}
}
Chan, Y. K. Notes on Constructive Probability Theory. Ann. Probab., Tome 2 (1974) no. 6, pp. 51-75. http://gdmltest.u-ga.fr/item/1176996751/