序集和计算机

在序集的不动点性质方面，利用过去引入的PT-序，给出了一个结构比定理，将某些无限序集和有限序集联系起来，提供了一种从有限到无限的推广工具，并具有成功的应用。提出了关于ANTI-序的一系概念和一种先代过程，使序集逐步缩小，但在某种意义下保持不动点性质的特征，从而使得不动点性质的判断交更加容易。在序集的继分解方面，着重讨论了三角债的处理问题，为此引入了债务图，债务键，债务图债务键分解，货款数等概念，给出了最小债务键分解的刻划定理，并得到了我予最小债务键分解的算法，正在根据此算法编制处现三角债的计算机程序。