Works by Paweł Zbierski

( view other items matching `Paweł Zbierski`, view all matches )
Order:
  1.  62
    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.  53
    (1 other version)On closed P-sets with ccc in the space ω.Rvszard Frankiewicz, Saharon Shelah & Paweł Zbierski - 1993 - Journal of Symbolic Logic 58 (4):1171-1176.
    It is proved that--consistently--there can be no ccc closed P-sets in the remainder space ω*.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   1 citation