SEPARABLE MODELS OF RANDOMIZATIONS.
Every complete first order theory has a corresponding complete theory in continuous logic, called the randomization theory. It has two sorts, a sort for random elements of models of the first order theory, and a sort for events. In this paper we establish connections between properties of countable...
| Publicado en: | Journal of Symbolic Logic Vol. 80; no. 4; pp. 1149 - 1182 |
|---|---|
| Autores principales: | , |
| Formato: | Artículo |
| Publicado: |
Cambridge University Press
Dec2015
|
| Materias: | |
| Acceso en línea: | Ver este registro en EBSCOhost |