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  
  • Extreme types and extremal models.Seyed-Mohammad Bagheri - 2024 - Annals of Pure and Applied Logic 175 (7):103451.
    Download  
     
    Export citation  
     
    Bookmark  
  • The isomorphism theorem for linear fragments of continuous logic.Seyed-Mohammad Bagheri - 2021 - Mathematical Logic Quarterly 67 (2):193-205.
    The ultraproduct construction is generalized to p‐ultramean constructions () by replacing ultrafilters with finitely additive measures. These constructions correspond to the linear fragments of continuous logic and are very close to the constructions in real analysis. A powermean variant of the Keisler‐Shelah isomorphism theorem is proved for. It is then proved that ‐sentences (and their approximations) are exactly those sentences of continuous logic which are preserved by such constructions. Some other applications are also given.
    Download  
     
    Export citation  
     
    Bookmark   1 citation