Independence relations in randomizations

Abstract

The randomization of a complete first order theory $T$ is the complete continuous theory $T^R$ with two sorts, a sort for random elements of models of $T$, and a sort for events in an underlying probability space. We study various notions of independence in models of $T^R$.

arXiv comment45 pages

References in corpus (3)

• On theories of random variables
• Randomizations of models as metric structures
• Explanation of Independence