Laver Forcing 章节 发表日期: 2025年 查看全文 Lorenz J. Halbeisen 摘要 In this chapter we investigate a forcing notion which has similar combinatorial properties as Mathias forcing.