无穷发散项与易项

本文研究一类易项的归约性质.关于本文记号和基本概念,请参考文献[1～3].本文均是在λη系统中进行推理,当写M=N时,意指λη+M=N.文献[2]中证明了,Ω≡(λχ.χχ)(λχ.χχ)是易项.黄目园等证明了,所有U循环项都是易项.设W∈Λ~0(Λ~0为闭λ项的全体),记F(W)={PW(?)P}.如果W满足