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...

Descripción completa

Detalles Bibliográficos
Publicado en:Journal of Symbolic Logic Vol. 80; no. 4; pp. 1149 - 1182
Autores principales: ANDREWS, URI, KEISLER, H. JEROME
Formato: Artículo
Publicado: Cambridge University Press Dec2015
Materias:
Acceso en línea:Ver este registro en EBSCOhost