Switch to: References

Add citations

You must login to add citations.
  1. Continuous theory of operator expansions of finite dimensional Hilbert spaces and decidability.Aleksander Ivanov - forthcoming - Mathematical Logic Quarterly.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  • Independence in randomizations.Uri Andrews, Isaac Goldbring & H. Jerome Keisler - 2019 - Journal of Mathematical Logic 19 (1):1950005.
    The randomization of a complete first-order theory [Formula: see text] is the complete continuous theory [Formula: see text] with two sorts, a sort for random elements of models of [Formula: see text] and a sort for events in an underlying atomless probability space. We study independence relations and related ternary relations on the randomization of [Formula: see text]. We show that if [Formula: see text] has the exchange property and [Formula: see text], then [Formula: see text] has a strict independence (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  • Definable closure in randomizations.Uri Andrews, Isaac Goldbring & H. Jerome Keisler - 2015 - Annals of Pure and Applied Logic 166 (3):325-341.