实直线的极大紧化中的连续统及其应用

首先我们证明了对任意自然数n≥1，YcΩ_(2n)是易项，该结果部分解决了Jacopin的猜想，其次我们引入了W_1-序可定义集及其分层的想法，用此想法，我们给出了C的另一种定义方法，接着应用力迫方法，我们给出了HOD_1与C之间的一些协调关系，解决了Chang 提出的一个问题，最后我们证明了在某些情形下，Qk入上总共应该有2^(2^(2^λ))个正规超滤，由此我们构造了正规超滤树，并给出了它的两个重要性质，另外在该结果的证明过程中我们发现了一个定理，它能够成功地刻划Qk入上超滤引出的初等嵌入的特性，这使得对初等嵌入研究成为可能。