Research Training Network in Model Theory
Publications > Preprint server > Preprint Number 1116

Preprint Number 1116

Previous Next Preprint server

1116. Uri Andrews, Isaac Goldbring, and H. Jerome Keisler
Randomizing o-minimal theories

Submission date: 28 October 2016


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 atomless probability space. We show that if T has the exchange property and acl=dcl, then T^R has a strict independence relation in the home sort, and hence is real rosy. In particular, if T is o-minimal, then T^R is real rosy.

Mathematics Subject Classification:

Keywords and phrases:

Full text arXiv 1610.09270: pdf, ps.

Last updated: November 2 2016 22:35 Please send your corrections to: