Switch to: References

Add citations

You must login to add citations.
  1. Concrete barriers to quantifier elimination in finite dimensional C*‐algebras.Christopher J. Eagle & Todd Schmid - 2019 - Mathematical Logic Quarterly 65 (4):490-497.
    Work of Eagle, Farah, Goldbring, Kirchberg, and Vignati shows that the only separable C*‐algebras that admit quantifier elimination in continuous logic are,,, and the continuous functions on the Cantor set. We show that, among finite dimensional C*‐algebras, quantifier elimination does hold if the language is expanded to include two new predicate symbols: One for minimal projections, and one for pairs of unitarily conjugate elements. Both of these predicates are definable, but not quantifier‐free definable, in the usual language of C*‐algebras. We (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Omitting types in logic of metric structures.Ilijas Farah & Menachem Magidor - 2018 - Journal of Mathematical Logic 18 (2):1850006.
    This paper is about omitting types in logic of metric structures introduced by Ben Yaacov, Berenstein, Henson and Usvyatsov. While a complete type is omissible in some model of a countable complete...
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • An invitation to model theory and c*-algebras.Martino Lupini - 2019 - Bulletin of Symbolic Logic 25 (1):34-100.
    We present an introductory survey to first order logic for metric structures and its applications to C*-algebras.
    Download  
     
    Export citation  
     
    Bookmark   1 citation