Premium
Random variables and integral logic
Author(s) -
Khanaki Karim,
Bagheri SeyedMohammad
Publication year - 2011
Publication title -
mathematical logic quarterly
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.473
H-Index - 28
eISSN - 1521-3870
pISSN - 0942-5616
DOI - 10.1002/malq.201020068
Subject(s) - mathematics , finitary , martingale (probability theory) , random variable , discrete mathematics , pure mathematics , statistics
We study model theory of random variables using finitary integral logic. We prove definability of some probability concepts such as having F ( u ) as distribution function, independence and martingale property. We then deduce Kolmogorov's existence theorem from the compactness theorem.