5 found
Order:
  1.  21
    Shelah's Strong Covering Property and CH in V [R ].Esfandiar Eslami & Mohammad Golshani - 2012 - Mathematical Logic Quarterly 58 (3):153-158.
    In this paper we review Shelah's strong covering property and its applications. We also extend some of the results of Shelah and Woodin on the failure of equation image by adding a real.
    No categories
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  2.  10
    On the Category of Hyper MV‐Algebras.Shokoofeh Ghorbani, Esfandiar Eslami & Abbas Hasankhani - 2009 - Mathematical Logic Quarterly 55 (1):21-30.
    In this paper we study the category of hyper MV-algebras and we prove that it has a terminal object and a coequalizer. We show that Jia's construction can be modified to provide a free hyper MV-algebra by a set. We use this to show that in the category of hyper MV-algebras the monomorphisms are exactly the one-to-one homomorphisms.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  3.  25
    A Topology Induced by Uniformity on BL-Algebras.Masoud Haveshki, Esfandiar Eslami & Arsham Borumand Saeid - 2007 - Mathematical Logic Quarterly 53 (2):162-169.
    In this paper, we consider a collection of filters of a BL-algebra A. We use the concept of congruence relation with respect to filters to construct a uniformity which induces a topology on A. We study the properties of this topology regarding different filters. (© 2007 WILEY-VCH Verlag GmbH & Co. KGaA, Weinheim).
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  4.  15
    A Topology Induced by Uniformity on BL‐Algebras.Masoud Haveshki, Esfandiar Eslami & Arsham Borumand Saeid - 2007 - Mathematical Logic Quarterly 53 (2):162-169.
    In this paper, we consider a collection of filters of a BL-algebra A. We use the concept of congruence relation with respect to filters to construct a uniformity which induces a topology on A. We study the properties of this topology regarding different filters.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  5.  43
    N -Fold Filters in BL-Algebras.Masoud Haveshki & Esfandiar Eslami - 2008 - Mathematical Logic Quarterly 54 (2):176-186.
    In this paper we introduce n -fold implicative basis logic and the related algebras called n -fold implicative BL-algebras. Also we define n -fold implicative filters and we prove some relations between these filters and construct quotient algebras via these filters.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark