Showing math.LOShow all
2 papers · 1 filter
math.LO2016
Independence in randomizations
Uri Andrews, Isaac Goldbring, H. Jerome Keisler
The randomization of a complete first order theory is the complete continuous theory with two sorts, a sort for random elements of models of , and a sort for events in…
math.LO2013
Definable closure 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 an un…