arXiv:1409.1531 [math.LO]AbstractReferencesReviewsResources
Independence relations in randomizations
Uri Andrews, Isaac Goldbring, H. Jerome Keisler
Published 2014-09-04Version 1
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$.
Comments: 45 pages
Categories: math.LO
Related articles: Most relevant | Search more
arXiv:1304.7797 [math.LO] (Published 2013-04-29)
Definable closure in randomizations
arXiv:1006.3916 [math.LO] (Published 2010-06-20)
Model Theory of the Inaccessibility Scheme
arXiv:math/9201240 [math.LO] (Published 1990-01-15)
Categoricity over P for first order T or categoricity for phi in L_{omega_1 omega} can stop at aleph_k while holding for aleph_0, ..., aleph_{k-1}