论文标题
强迫公理，均匀化和基础特性
Forcing Axioms, the Uniformization and the Basis Property
论文作者
论文摘要
我们证明有一些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.
