Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
4661810 | Annals of Pure and Applied Logic | 2015 | 17 Pages |
Abstract
The randomization of a complete first order theory T is the complete continuous theory TRTR with two sorts, a sort for random elements of models of T , and a sort for events in an underlying probability space. We give necessary and sufficient conditions for an element to be definable over a set of parameters in a model of TRTR.
Related Topics
Physical Sciences and Engineering
Mathematics
Logic
Authors
Uri Andrews, Isaac Goldbring, H. Jerome Keisler,