1) sup-complete
上半完备的
2) complete semilattice
完备半格
1.
The continuous complete semilattice category and the Scott domain category are proved constructively to be reflective and coreflective subcategories of the complete semilattice category.
构造性地证明了以有左（右）伴随的Ｓｃｏｔ连续函数为态射的连续完备半格范畴和Ｓｃｏｔｄｏｍａｉｎ范畴，是完备半格范畴的余反射（反射）子范畴。
3) upper completeness
上完备
1.
For this purpose,new concepts in the quasi-metric space are proposed including the upper limit,upper closed set,upper Cauchy sequence and upper completeness,and some important results about the concepts have been obtained.
提出了非对称度量空间的上、下极限概念,解决了非对称度量空间上收敛性的基本问题,得出了上极限,下极限,子序列极限之间的关系及上闭集、上柯西序列、上完备集的有关结果,证明了Hausdorff半距离空间是上完备的非对称度量空间。
4) supra-completeness and infra-completeness
上、下完备
5) generalized completeπ-inverse semigroups
推广的完备π-逆半群
6) perfect wrpp semigroups
完备wrpp半群
1.
We study a class of wrpp semigroups, namely the perfect wrpp semigroups, and some characterization theorems for such semigroups are give.
研究一类wrpp半群,即完备wrpp半群,并给出完备wrpp半群的若干性质定理。
补充资料：哥德尔不完备性定理
| 哥德尔不完备性定理 G  del's incompleteness theorem数学家K.哥德尔于1931年证明的两个定理。第一不完备性定理：任意一个包含算术系统在内的形式系统中，都存在一个命题，它在这个系统中既不能被证明也不能被否定。第二不完备性定理：任意一个包含算术系统的形式系统自身不能证明它本身的无矛盾性。 哥德尔的不完备性定理使希尔伯特证明数论系统无矛盾性的方案归于失败。但哥德尔的证明中所用到的方法却开创了递归论的研究。哥德尔不完备性定理中所指出的不可判定的命题是理论的而不是自然的命题。1977年，J.帕里斯给出了一个自然的命题，这个命题在数论中是不可判定的。这又引起人们寻找这类问题的兴趣。 |
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条