Výsledky vyhledávání - "Paweł Zbierski"

An application of a reflection principle

Autor: Paweł Zbierski, Leszek Aleksander Kołodziejczyk, Zofia Adamowicz

Publikováno v: Fundamenta Mathematicae. 180:139-159

We define a recursive theory which axomatizes a class of models of I∆0+Ω3+¬exp all of which share two features: firstly, the set of ∆0 definable elements of the model is majorized by the set of elements definable by ∆0 formulae of fixed compl

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::da39d1d8bbf18c8e878401e8451e70ec
https://doi.org/10.4064/fm180-2-2

Zobrazit plný text záznamu

On Herbrand consistency in weak arithmetic

Autor: Paweł Zbierski, Zofia Adamowicz

Publikováno v: Archive for Mathematical Logic. 40:399-413

We prove that the Godel incompleteness theorem holds for a weak arithmetic T = IΔ0 + Ω2 in the form $$$$

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::cb5ebf1cc2e2a430de9ea1092888b7b2
https://doi.org/10.1007/s001530000072

Zobrazit plný text záznamu

Borel liftings of the measure algebra and the failure of the continuum hypothesis

Autor: T. Carlson, Ryszard Frankiewicz, Paweł Zbierski

Publikováno v: Proceedings of the American Mathematical Society. 120:1247-1250

It is proved that the failure of the continuum hypothesis is consistent with the existence of a Borel lifting for the Lebesgue measure algebra and an embedding of the Lebesgue measure algebra into p(cw) /finite. Let LM denote the field of Lebesgue me

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::f6bdf90cb83434b5cd7b504697243c85
https://doi.org/10.1090/s0002-9939-1994-1176066-8

Zobrazit plný text záznamu

Independence of Goodstein's Theorem

Autor: Paweł Zbierski, Zofia Adamowicz