Independence in randomizations

Uri Andrews, Isaac Goldbring, H. Jerome Keisler

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…