潘宇晟

摘要通常的單步迭代力迫的定義中會(huì)產(chǎn)生一個(gè)類，并且有可能是真類，而實(shí)際需要的是一個(gè)集合。本文通過定義力迫條件之間的一個(gè)等價(jià)關(guān)系，對任意的力迫條件選取一個(gè)秩比較低的條件與之等價(jià)，進(jìn)而避免了真類的問題。