论文标题

强迫公理,均匀化和基础特性

Forcing Axioms, the Uniformization and the Basis Property

论文作者

Hoffelner, Stefan

论文摘要

我们证明有一些MA模型,其中Boldface $σ^1_3 $ - 均匀化属性拥有。此外,我们表明bpfa和断言$ \ aleph_1 $可以直接访问Reals,这意味着Boldface $σ^1_3 $ - 统一属性是正确的。

We show that there are models of MA where the boldface $Σ^1_3$-uniformization property holds. Further we show that BPFA and the assertion $\aleph_1$ is accessible to reals outright implies that the boldface $Σ^1_3$-uniformization property is true.

扫码加入交流群

加入微信交流群

微信交流群二维码

扫码加入学术交流群,获取更多资源