Switch to: References

Add citations

You must login to add citations.
  1. Continuous theory of operator expansions of finite dimensional Hilbert spaces and decidability.Aleksander Ivanov - forthcoming - Mathematical Logic Quarterly.
    Download  
     
    Export citation  
     
    Bookmark  
  • Unbounded actions of metric groups and continuous logic.Aleksander Ivanov - 2021 - Mathematical Logic Quarterly 67 (2):206-225.
    We study expressive power of continuous logic in classes of metric groups defined by properties of their actions. We concentrate on unbounded continuous actions on metric spaces. For example, we consider the properties non‐OB, non‐FH and non‐FR.
    Download  
     
    Export citation  
     
    Bookmark