Switch to: References

Add citations

You must login to add citations.
  1. Linear model theory for Lipschitz structures.Seyed-Mohammad Bagheri - 2014 - Archive for Mathematical Logic 53 (7-8):897-927.
    I study definability and types in the linear fragment of continuous logic. Linear variants of several definability theorems such as Beth, Svenonus and Herbrand are proved. At the end, a partial study of the theories of probability algebras, probability algebras with an aperiodic automorphism and AL-spaces is given.
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • Preservation theorems in linear continuous logic.Seyed-Mohammad Bagheri & Roghieh Safari - 2014 - Mathematical Logic Quarterly 60 (3):168-176.
    Linear continuous logic is the fragment of continuous logic obtained by restricting connectives to addition and scalar multiplications. Most results in the full continuous logic have a counterpart in this fragment. In particular a linear form of the compactness theorem holds. We prove this variant and use it to deduce some basic preservation theorems.
    Download  
     
    Export citation  
     
    Bookmark   3 citations