Order:
  1.  38
    On Herbrand Consistency in Weak Arithmetic.Zofia Adamowicz & Paweł Zbierski - 2001 - Archive for Mathematical Logic 40 (6):399-413.
    We prove that the Gödel incompleteness theorem holds for a weak arithmetic T = IΔ0 + Ω2 in the form where Cons H (T) is an arithmetic formula expressing the consistency of T with respect to the Herbrand notion of provability.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  2.  2
    On Closed P-Sets with in the Ω.Rvszard Frankiewicz, Saharon Shelah & Paweł Zbierski - 1993 - Journal of Symbolic Logic 58 (4):1171-1176.
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  3.  3
    On Closed P-Sets with Ccc in the Space Ω.Rvszard Frankiewicz, Saharon Shelah & Paweł Zbierski - 1993 - Journal of Symbolic Logic 58 (4):1171-1176.