Switch to: References

Add citations

You must login to add citations.
  1. Pseudofinite and Pseudocompact Metric Structures.Isaac Goldbring & Vinicius Cifú Lopes - 2015 - Notre Dame Journal of Formal Logic 56 (3):493-510.
    The definition of a pseudofinite structure can be translated verbatim into continuous logic, but it also gives rise to a stronger notion and to two parallel concepts of pseudocompactness. Our purpose is to investigate the relationship between these four concepts and establish or refute each of them for several basic theories in continuous logic. Pseudofiniteness and pseudocompactness turn out to be equivalent for relational languages with constant symbols, and the four notions coincide with the standard pseudofiniteness in the case of (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • 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 (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Neostability in countable homogeneous metric spaces.Gabriel Conant - 2017 - Annals of Pure and Applied Logic 168 (7):1442-1471.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • A remark on strict independence relations.Gabriel Conant - 2016 - Archive for Mathematical Logic 55 (3-4):535-544.
    We prove that if T is a complete theory with weak elimination of imaginaries, then there is an explicit bijection between strict independence relations for T and strict independence relations for Teq\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${T^{\rm eq}}$$\end{document}. We use this observation to show that if T is the theory of the Fraïssé limit of finite metric spaces with integer distances, then Teq\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${T^{\rm eq}}$$\end{document} has more than one (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Definable closure in randomizations.Uri Andrews, Isaac Goldbring & H. Jerome Keisler - 2015 - Annals of Pure and Applied Logic 166 (3):325-341.
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • Model theoretic properties of the Urysohn sphere.Gabriel Conant & Caroline Terry - 2016 - Annals of Pure and Applied Logic 167 (1):49-72.
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • Using ultrapowers to compare continuous structures.H. Jerome Keisler - forthcoming - Annals of Pure and Applied Logic.
    Download  
     
    Export citation  
     
    Bookmark