Notes on constructive probability theory

DOI10.1214/aop/1176996751zbMath0278.60045MaRDI QIDQ1394066

D. Massart

Publication date: 1974

Published in: The Annals of Probability (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1214/aop/1176996751

Mathematics Subject Classification ID

60J25: Continuous-time Markov processes on general state spaces

03F99: Proof theory and constructive mathematics