Results for 'Morteza Moniri'

Order:
  1.  60
    ℋ-Theories, Fragments of HA and PA -Normality.Morteza Moniri - 2002 - Archive for Mathematical Logic 41 (1):101-105.
    Download  
     
    Export citation  
     
    Bookmark  
  2.  33
    Weak Arithmetics and Kripke Models.Morteza Moniri - 2002 - Mathematical Logic Quarterly 48 (1):157-160.
    In the first section of this paper we show that i Π1 ≡ W⌝⌝lΠ1 and that a Kripke model which decides bounded formulas forces iΠ1 if and only if the union of the worlds in any path in it satisflies IΠ1. In particular, the union of the worlds in any path of a Kripke model of HA models IΠ1. In the second section of the paper, we show that for equivalence of forcing and satisfaction of Πm-formulas in a linear Kripke (...)
    Download  
     
    Export citation  
     
    Bookmark  
  3.  60
    The Postmodern as a Presence. [REVIEW]Morteza Hashemi - 2017 - Philosophy of the Social Sciences 47 (4-5):370-374.
    Download  
     
    Export citation  
     
    Bookmark