论文标题
都是自然的数字一样
Are all natural numbers the same
论文作者
论文摘要
这是关于最新的报告，该报告是关于强迫公理PFA的更高类似物的问题。最近，已经有几项尝试开发强迫公理类似于适当的强迫公理（PFA），用于n> 1的形式的红衣主教。我们研究了这样做的困难并调查了一些成功
This is a report on state-of-the-art on the question of developing higher analogues of the forcing axiom PFA. Recently there have been several attempts to develop forcing axioms analogous to the proper forcing axiom (PFA) for cardinals of the form aleph_n where n > 1. We investigate the difficulties of doing this and survey some of the successes
