完全偏序
- 网络Complete partial order;DCPO
完全偏序-
完全偏序集中的正交分解相容连续偏序集及其定向完备化
Orthogonal decomposition in complete partially ordered set consistently continuous posets and their directed completions
-
完全稠密二叉偏序理论的可数模型
A countable model for the theory of complete dense binary order
-
利用理论的代数素模型和简单闭性质，给出了完全稠密二叉偏序理论可量词消去的新的简短的证明。
Based on the theoretic model of algebraical prime and simple closed properties , a new short proof for quantifier elimination of the theory of complete dense binary orders was presented .