English

Independence in randomizations

Logic 2018-11-28 v2

Abstract

The randomization of a complete first order theory TT is the complete continuous theory TRT^R with two sorts, a sort for random elements of models of TT, and a sort for events in an underlying atomless probability space. We study independence relations and related ternary relations on the randomization of TT. We show that if TT has the exchange property and acl=dcl\operatorname{acl}=\operatorname{dcl}, then TRT^R has a strict independence relation in the home sort, and hence is real rosy. In particular, if TT is o-minimal, then TRT^R is real rosy.

Cite

@article{arxiv.1610.09270,
  title  = {Independence in randomizations},
  author = {Uri Andrews and Isaac Goldbring and H. Jerome Keisler},
  journal= {arXiv preprint arXiv:1610.09270},
  year   = {2018}
}

Comments

37 pages; new title and new results; final version to appear in Journal of Mathematical Logic. arXiv admin note: substantial text overlap with arXiv:1409.1531

R2 v1 2026-06-22T16:35:27.497Z