Switch to: Citations

Add references

You must login to add references.
  1. Topometric spaces and perturbations of metric structures.Itaï Ben Yaacov - 2008 - Logic and Analysis 1 (3-4):235-272.
    We develop the general theory of topometric spaces, i.e., topological spaces equipped with a well-behaved lower semi-continuous metric. Spaces of global and local types in continuous logic are the motivating examples for the study of such spaces. In particular, we develop Cantor-Bendixson analysis of topometric spaces, which can serve as a basis for the study of local stability (extending the ad hoc development in Ben Yaacov I and Usvyatsov A, Continuous first order logic and local stability. Trans Am Math Soc, (...)
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  • Forking and stability in the representations of a c*-algebra.Camilo Argoty - 2015 - Journal of Symbolic Logic 80 (3):785-796.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Hilbert spaces expanded with a unitary operator.Camilo Argoty & Alexander Berenstein - 2009 - Mathematical Logic Quarterly 55 (1):37-50.
    We study Hilbert spaces expanded with a unitary operator with a countable spectrum. We show that the theory of such a structure is ω -stable and admits quantifier elimination.
    Download  
     
    Export citation  
     
    Bookmark   5 citations