Independence in randomizations

DOI10.1142/S0219061319500053MaRDI QIDQ5223124zbMATH OpenOpenAlexFDO

Authors Uri Andrews, Isaac Goldbring, H. Jerome Keisler

Publication date 8 July 2019

Published in Journal of Mathematical Logic (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1610.09270

zbMATH Keywords

independence relationsrandomizations

Mathematics Subject Classification ID

Many-valued logic (03B50) Other model constructions (03C30) Classification theory, stability, and related concepts in model theory (03C45) Model theory of ordered structures; o-minimality (03C64) Nonclassical models (Boolean-valued, sheaf, etc.) (03C90)

Abstract: 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 study independence relations and related ternary relations on the randomization of $T$. We show that if $T$ has the exchange property and $operatornameacl=operatornamedcl$, 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.

Recommendations

• Definable closure in randomizations
• Randomizing a model
• The axiomatization of randomness
• Randomizations of models as metric structures
• Separable models of randomizations

Cites work

• scientific article; zbMATH DE number 1160037 (Why is no real title available?)
• scientific article; zbMATH DE number 3329887 (Why is no real title available?)
• scientific article; zbMATH DE number 2239225 (Why is no real title available?)
• A course in model theory. An introduction to contemporary mathematical logic. Transl. from the French by Moses Klein
• A geometric introduction to forking and thorn-forking
• Continuous first order logic and local stability
• Definable closure in randomizations
• Dependence relation in pregeometries
• Groups definable in local fields and pseudo-finite fields
• Model theory for metric structures
• On theories of random variables
• Properties and consequences of Thorn-independence
• Pseudofinite and pseudocompact metric structures
• Randomizations of models as metric structures
• Randomizing a model
• SIMPLICITY IN COMPACT ABSTRACT THEORIES
• Schrödinger's cat
• Separable models of randomizations
• Thorn-forking as local forking
• Thorn-forking in continuous logic

Cited in

(13)

• Randomly Supported Independence and Resistance
• The SB-property on metric structures
• Pairwise Independence and Derandomization
• Randomly supported independence and resistance
• Separable models of randomizations
• Separation for isometric group actions and hyperimaginary independence
• On theories of random variables
• scientific article; zbMATH DE number 3856078 (Why is no real title available?)
• Definable closure in randomizations
• scientific article; zbMATH DE number 1979752 (Why is no real title available?)
• Randomizations of models as metric structures
• Approximate isomorphism of randomization pairs
• Independence of random variables

This page was built for publication: Independence in randomizations

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5223124)